aminePlatform.util
Class VarListConstructor

java.lang.Object
  aminePlatform.kernel.lexicons.Identifier
      aminePlatform.util.Variable
          aminePlatform.util.VarListConstructor

All Implemented Interfaces:

AmineConstants, AmineObject, java.lang.Cloneable, java.lang.Comparable, Matching, Muable, java.io.Serializable, ToString

public class VarListConstructor

extends Variable

implements java.io.Serializable, AmineObject, Matching

Title : util.VarListConstructor Class

Description : VarListConstructor is a Variable that is used after the list constructor in an AmineList. It is relevant in the context of programming languages, like Prolog+CG and Synergy, which allow list processing.

Copyright: Copyright (c) Adil KABBAJ, 2004-2009

See Also:

Serialized Form

Field Summary

Fields inherited from class aminePlatform.util.Variable

SUPER, THIS

Fields inherited from class aminePlatform.kernel.lexicons.Identifier

id, ignoreCase, name

Fields inherited from interface aminePlatform.util.AmineConstants

ANALOGY, B_ASSIGN, B_DSPLY_WT_DELAY, B_DSPLY_WTT_DELAY, B_TRIGGER, B_WTT_DSPLY, BLOCK_BACKWARD_PROPAGATION, BLOCK_FORWARD_PROPAGATION, CANON, CGIF, CGRAPHIC, CHECK_PRECONDITIONS, COMPARE, COMPOSED_GOAL, CONCEPT_TYPE_IDENT, CONTEXT, COVERED_BY, CPLTE_CONTRACT, DEFINITION, EQ_OR_MORE_SPCFQ, EQUAL, EXPAND, FALSE_FOCUS_LIST, FUNCTIONAL, GENERALISE, GENERALIZE, HAVE_AN_INTERSECTION, ID_ADD, ID_DIV, ID_EQ, ID_INF, ID_IS, ID_MESSAGE, ID_MUL, ID_NOT, ID_NULL, ID_OPER_AND, ID_OPER_OR, ID_SUB, ID_SUP, IN_ACTIVATION, IN_MODE, IN_MODE2, INDIVIDUAL, INDIVIDUAL_IDENT, INTEGRATED, IS_CANONIC, KEY_GLOBAL_RULE, LC_ADD, LC_AMINE_BOOLEAN, LC_AMINE_DOUBLE, LC_AMINE_INTEGER, LC_AND, LC_BOOLEAN, LC_CG, LC_CLOSE_BRKT, LC_CLOSE_PARENT, LC_CLOSE_SET, LC_COMMA, LC_COMMA_SEMI, LC_CONCEPT, LC_CONSTRUCTOR, LC_CS, LC_CUT, LC_DIFF, LC_DIV, LC_DOUBLE, LC_DSBL_BKWRD_PRPGTN, LC_DSBL_FRWRD_PRPGTN, LC_EOF, LC_EQ, LC_FOUR_POINTS, LC_IDENTIFIER, LC_IF, LC_INF, LC_INTEGER, LC_INTEROG, LC_IS, LC_JAVA_OBJECT, LC_LEFT_ARROW, LC_LIST, LC_NULL, LC_OPEN_BRKT, LC_OPEN_PARENT, LC_OPEN_SET, LC_OPER_AND, LC_OPER_OR, LC_POINT, LC_RELATION, LC_RGHT_ARROW, LC_SEMI_COMMA, LC_SET, LC_STAR, LC_STATE, LC_STRING, LC_SUB, LC_SUP, LC_TERM, LC_TWO_POINTS, LC_VAR_LIST_CONSTRUCTOR, LC_VARIABLE, LF, MAXIMAL_JOIN, MORE_GENERAL, MORE_SPECIFIC, NOTHING_TO_INTEGRATE, OPERS_WITH_RSLT, OUT_MODE, OUT_MODE2, PARTIAL_CONTRACT, PARTIAL_SUBSUME, PRJCT_OPERS, PROJECT, READ, READ_SENTENCE, RELATION_TYPE_IDENT, S_AND, S_BOOLEAN, S_CG, S_CLOSE_BRKT, S_CLOSE_PARENT, S_CLOSE_SET, S_COMMA, S_CONCEPT, S_CONSTRUCTOR, S_CUT, S_DIFF, S_DOUBLE, S_EOF, S_EQUAL, S_EXPAND, S_FALSE, S_FOUR_POINTS, S_GENERALISE, S_GENERALIZE, S_IDENTIFIER, S_IF, S_INTEGER, S_INTEROG, S_IS, S_IS_CANONIC, S_LEFT_ARROW, S_LIST, S_MAXIMAL_JOIN, S_OPEN_BRKT, S_OPEN_PARENT, S_OPEN_SET, S_POINT, S_RGHT_ARROW, S_SEMI_COMMA, S_SOURCE, S_SPECIALIZE, S_STATE, S_STRING, S_SUBSUME, S_SUBSUME_WITH_RESULT, S_SUPER, S_TARGET, S_TERM, S_THIS, S_TRUE, S_TWO_POINTS, S_UNIFY, S_VARIABLE, SITUATION, SPECIALIZE, STEADY, SUBSUME, SUBSUME_WITH_RSLT, TRIGGER, UNCOMPARABLE, UNIFY, VAR_SUPER, WAIT_ASSIGNMENT, WAIT_END_OF_ASSIGNMENT, WAIT_PRECONDITIONS, WAIT_VALUE

Constructor Summary

VarListConstructor(java.lang.String s)

Method Summary

java.lang.Object	clone() Return a clone of the object without considering binding context and resolution.
static Variable	generateNewVariable() Override the method by enerate a VarListConstructor, not a Variable
static boolean	isVarListConstructor(java.lang.Object obj) Check if the specified Object obj is a VarListConstructor.

Methods inherited from class aminePlatform.util.Variable

clear, clone, copy, equal, equal, equals, finalize, generalize, generalize, getDefinitionalBoundForm, getReferedBoundForm, getVariables, isAnonymousVariable, isBoundCoreferent, isDefinitionalCoreferent, isVariable, isVariableName, match, match, maximalJoin, maximalJoin, nextCount, subsume, subsume, subsumeWithResult, subsumeWithResult, toString, toString, unify

Methods inherited from class aminePlatform.kernel.lexicons.Identifier

compareTo, copy, getIgnoreCase, getName, hashCode, isCorrectIdentName, isIdentifier, isIgnoreCase, setIgnoreCase, setName, toString, wrap

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface aminePlatform.util.AmineObject

clear, clone, finalize, getVariables, toString

Methods inherited from interface aminePlatform.kernel.lexicons.ToString

toString

Methods inherited from interface aminePlatform.util.Matching

equal, equal, generalize, generalize, match, match, maximalJoin, maximalJoin, subsume, subsume, subsumeWithResult, subsumeWithResult, unify

Constructor Detail

VarListConstructor

public VarListConstructor(java.lang.String s)

Method Detail

clone

public java.lang.Object clone()

Description copied from interface: AmineObject

Return a clone of the object without considering binding context and resolution.

Specified by:

clone in interface AmineObject

Overrides:

clone in class Variable

isVarListConstructor

public static boolean isVarListConstructor(java.lang.Object obj)

Check if the specified Object obj is a VarListConstructor.

Parameters:

obj - : an object

Returns:

true if obj is a VarListConstructor and false otherwise

generateNewVariable

public static Variable generateNewVariable()

Override the method by enerate a VarListConstructor, not a Variable

Returns:

a new VarListConstructor