jml2b.structure.statement
Class Expression

java.lang.Object
  jml2b.util.Profiler
      jml2b.structure.java.ParsedItem
          jml2b.structure.statement.Statement
              jml2b.structure.statement.Expression

All Implemented Interfaces:

IFormToken, jml.JmlDeclParserTokenTypes, JmlExpression, Linkable, MyToken, java.io.Serializable, TypeCheckable

Direct Known Subclasses:

ArrayInitializer, BinaryExp, IsSubtypeOfExp, MethodCallExp, QuantifiedExp, QuestionExp, TerminalExp, TTypeExp, UnaryExp, WithTypeExp

public abstract class Expression

extends Statement

implements IFormToken, JmlExpression

This class defines a Java expression.

See Also:

Serialized Form

Field Summary

Fields inherited from class jml2b.structure.statement.Statement

arithmeticException, arrayIndexOutOfBoundsException, arrayStoreException, classCastException, negativeArraySizeException, nullPointerException

Fields inherited from interface jml2b.formula.IFormToken

ARRAY_ACCESS, ARRAY_RANGE, B_ACCOLADE, B_APPLICATION, B_ARRAY_EQUALS, B_BOOL, B_BTRUE, B_COUPLE, B_DOM, B_FUNCTION_EQUALS, B_IN, B_INTERVAL, B_OVERRIDING, B_SET_EQUALS, B_SUBSTRACTION_DOM, B_UNION, CONSTANT_FUNCTION, CONSTANT_FUNCTION_FUNCTION, EQUALS_ON_OLD_INSTANCES, EQUALS_ON_OLD_INSTANCES_ARRAY, FINAL_IDENT, GUARDED_SET, INTERSECTION_IS_NOT_EMPTY, IS_ARRAY, IS_MEMBER_FIELD, IS_STATIC_FIELD, Ja_ADD_OP, Ja_AND_OP, Ja_CHAR_LITERAL, Ja_COMMA, Ja_DIFFERENT_OP, Ja_DIV_OP, Ja_EQUALS_OP, Ja_GE_OP, Ja_GREATER_OP, Ja_IDENT, Ja_JAVA_BUILTIN_TYPE, Ja_LE_OP, Ja_LESS_OP, Ja_LITERAL_false, Ja_LITERAL_null, Ja_LITERAL_super, Ja_LITERAL_this, Ja_LITERAL_true, Ja_LNOT, Ja_MOD, Ja_MUL_OP, Ja_NEGATIVE_OP, Ja_NUM_INT, Ja_OR_OP, Ja_QUESTION, Ja_STRING_LITERAL, Ja_UNARY_NUMERIC_OP, Jm_AND_THEN, Jm_EXISTS, Jm_FORALL, Jm_IMPLICATION_OP, Jm_IS_SUBTYPE, Jm_OR_ELSE, Jm_T_OLD, Jm_T_RESULT, Jm_T_TYPE, LOCAL_ELEMENTS_DECL, LOCAL_VAR_DECL, MODIFIED_FIELD, NEW_OBJECT, T_CALLED_OLD, T_TYPE, T_VARIANT_OLD, toString

Fields inherited from interface jml.JmlDeclParserTokenTypes

ABRUPT_BEHAVIOR, ACCESSIBLE, ACCESSIBLE_KEYWORD, ACCESSIBLE_REDUNDANTLY, ACCESSIBLE_SEQ, ADDITIVE_ASSIGNMENT_OP, ADDITIVE_OP, AFFIRM_KEYWORD, ALSO, AND, ARRAY_DECLARATOR, ASGNABLE_SEQ, ASSERT, ASSERT_REDUNDANTLY, ASSIGN, ASSIGNABLE, ASSIGNABLE_KEYWORD, ASSIGNABLE_REDUNDANTLY, ASSUME, ASSUME_KEYWORD, ASSUME_REDUNDANTLY, AXIOM, BACKWARD_IMPLIES, BADCHAR, BAND, BAND_ASSIGN, BEHAVIOR, BITWISE_ASSIGNMENT_OP, BITWISE_OP, BNOT, BOR, BOR_ASSIGN, BREAKS, BREAKS_KEYWORD, BREAKS_REDUNDANTLY, BREAKS_SEQ, BSR, BSR_ASSIGN, BXOR, BXOR_ASSIGN, CALLABLE, CALLABLE_KEYWORD, CALLABLE_REDUNDANTLY, CALLABLE_SEQ, CASE, CAST, CHAR_LITERAL, CHOOSE, CHOOSE_IF, COLON, COMMA, CONJOINABLE_SPEC, CONSTRAINT, CONSTRAINT_KEYWORD, CONSTRAINT_REDUNDANTLY, CONSTRUCTOR, CONT_SEQ, CONTINUES, CONTINUES_KEYWORD, CONTINUES_REDUNDANTLY, DEC, DECREASES, DECREASES_REDUNDANTLY, DECREASING, DECREASING_KEYWORD, DECREASING_REDUNDANTLY, DEPENDS, DEPENDS_KEYWORD, DEPENDS_REDUNDANTLY, DIM_EXPRS, DIMS, DINFORMALLY, DIV, DIV_ASSIGN, DIV_SEQ, DIVERGES, DIVERGES_KEYWORD, DIVERGES_REDUNDANTLY, DOC_ATSIGN, DOC_ATSIGN_KEYWORD, DOC_AUTHOR, DOC_COMMENT, DOC_COMMENT_START, DOC_DEPRECATED, DOC_EXCEPTION, DOC_JML_SPECS, DOC_NL_WS, DOC_NON_EMPTY_TEXTLINE, DOC_NON_NL_WS, DOC_PARAM, DOC_RETURN, DOC_SEE, DOC_SERIAL, DOC_SERIALDATA, DOC_SERIALFIELD, DOC_SINCE, DOC_THROWS, DOC_UNKNOWN_KEYWORD, DOC_VERSION, DOT, DOT_DOT, ELSE, ENS_SEQ, ENSURES, ENSURES_KEYWORD, ENSURES_REDUNDANTLY, EOF, EQUAL, EQUALITY_OP, EQUIV, EQUIVALENCE_OP, ESC, EXAMPLE, EXCEPTIONAL_BEHAVIOR, EXCEPTIONAL_EXAMPLE, EXPONENT, EXSURES, EXSURES_REDUNDANTLY, EXT_ALSO, EXT_AND, FLOAT_SUFFIX, FOR, FOR_EXAMPLE, FOR_INIT, FOR_TEST, FOR_UPDATER, FORALL, GE, GHOST, GT, HENCE_BY, HENCE_BY_KEYWORD, HENCE_BY_REDUNDANTLY, HEX_DIGIT, IDENT, IGNORED_AT_IN_COMMENT, IMPLICATION_OP, IMPLIES_THAT, INC, INFORMAL_DESCRIPTION, INIT, INITIALIZER, INITIALLY, INSTANCE, INSTANCE_INIT, INVARIANT, INVARIANT_KEYWORD, INVARIANT_REDUNDANTLY, IS_SUBTYPE_OF, JAVA_BUILTIN_TYPE, JAVA_MODIFIER, JML_BACKSLASH_SEQUENCE, JML_MODIFIER, L_ARROW, LABEL, LABEL_KEYWORD, LAND, LBRACK, LCURLY, LCURLY_VBAR, LE, LET, LETOLD_KEYWORD, LIMPLIES, LITERAL_abstract, LITERAL_assert, LITERAL_boolean, LITERAL_break, LITERAL_byte, LITERAL_case, LITERAL_catch, LITERAL_char, LITERAL_class, LITERAL_const, LITERAL_continue, LITERAL_default, LITERAL_do, LITERAL_double, LITERAL_else, LITERAL_extends, LITERAL_false, LITERAL_final, LITERAL_finally, LITERAL_float, LITERAL_for, LITERAL_if, LITERAL_implements, LITERAL_import, LITERAL_instanceof, LITERAL_int, LITERAL_interface, LITERAL_long, LITERAL_native, LITERAL_new, LITERAL_null, LITERAL_package, LITERAL_private, LITERAL_protected, LITERAL_public, LITERAL_return, LITERAL_short, LITERAL_static, LITERAL_strictfp, LITERAL_super, LITERAL_switch, LITERAL_synchronized, LITERAL_this, LITERAL_throw, LITERAL_throws, LITERAL_transient, LITERAL_true, LITERAL_try, LITERAL_void, LITERAL_volatile, LITERAL_while, LNOT, LOGICAL_OP, LOOP_ASGNABLE_SEQ, LOOP_ASSIGNABLE_KEYWORD, LOOP_EXSURES, LOOP_INV_SEQ, LOOP_INVARIANT, LOOP_INVARIANT_REDUNDANTLY, LOOP_MODIFIES, LOOP_SIG_SEQ, LOR, LPAREN, LT, MAINTAINING, MAINTAINING_KEYWORD, MAINTAINING_REDUNDANTLY, MEASURED_BY, MEASURED_BY_KEYWORD, MEASURED_BY_REDUNDANTLY, METH, MINUS, MINUS_ASSIGN, ML_COMMENT, MOD, MOD_ASSIGN, MODEL, MODEL_PROGRAM, MODIFIABLE, MODIFIABLE_REDUNDANTLY, MODIFIER_SET, MODIFIES, MODIFIES_REDUNDANTLY, MONITORED, MONITORED_BY, MULTIPLICATIVE_ASSIGNMENT_OP, MULTIPLICATIVE_OP, NESTED_CLASS, NL_WS, NON_NL_WS, NON_NULL, NORMAL_BEHAVIOR, NORMAL_EXAMPLE, NOT_EQUAL, NOT_EQUIV, NOWARN_LABEL, NOWARN_LABEL_LIST, NULL_TREE_LOOKAHEAD, NUM_FLOAT, NUM_INT, OLD, OR, PARAM, PLUS, PLUS_ASSIGN, POST, POST_DEC, POST_INC, POST_INCREMENT_OP, POST_REDUNDANTLY, PRE, PRE_INCREMENT_OP, PRE_REDUNDANTLY, PRIVACY_MODIFIER, PURE, QUANT_VARS, QUANTIFIED_EXPR, QUANTIFIER_TOKEN, QUESTION, R_ARROW, RBRACK, RCURLY, READABLE_IF, REFINE, RELATIONAL_OP, REPLACE, REPRESENTS, REPRESENTS_KEYWORD, REPRESENTS_REDUNDANTLY, REQUIRES, REQUIRES_KEYWORD, REQUIRES_REDUNDANTLY, RETURNS, RETURNS_KEYWORD, RETURNS_REDUNDANTLY, RETURNS_SEQ, RPAREN, SEMI, SET, SET_COMPR, SHIFT_ASSIGNMENT_OP, SHIFT_OP, SIG_SEQ, SIGNALS, SIGNALS_KEYWORD, SIGNALS_REDUNDANTLY, SL, SL_ASSIGN, SL_COMMENT, SPEC_CASE, SPEC_PROTECTED, SPEC_PUBLIC, SPEC_SL_COMMENT, SPEC_STATEMENT, SR, SR_ASSIGN, STAR, STAR_ASSIGN, STAR_ELEMS, STATIC_INITIALIZER, STRING_LITERAL, SUBCLASSING_CONTRACT, T_ELEMTYPE, T_EVERYTHING, T_EXISTS, T_FIELDS_OF, T_FORALL, T_FRESH, T_INVARIANT_FOR, T_IS_INITIALIZED, T_LBLNEG, T_LBLPOS, T_LOCKSET, T_MAX, T_MIN, T_NONNULLELEMENTS, T_NOT_MODIFIED, T_NOT_SPECIFIED, T_NOTHING, T_NUM_OF, T_OLD, T_OTHER, T_PRODUCT, T_REACH, T_RESULT, T_SUCH_THAT, T_SUM, T_TYPE, T_TYPEOF, T_TYPEOFALLTYPES, UNARY_NUMERIC_OP, UNINITIALIZED, UNREACHABLE, VAR_DECL, VBAR_RCURLY, VF_SEQ, VOCAB, WEAKLY, WHEN, WHEN_KEYWORD, WHEN_REDUNDANTLY, WS

Fields inherited from interface jml2b.structure.statement.MyToken

BTRUE, FIRST_TOKEN, METHOD_CALL, NEWARRAY, nodeString, SEQUENCE, SKIP, T_CALLED_OLD, T_FRESH_CALLED_OLD, T_VARIANT_OLD

Fields inherited from interface jml2b.link.Linkable

STATE_LINKED, STATE_LINKED_STATEMENTS, STATE_LINKED_TYPE_CHECKED, STATE_UNLINKED

Method Summary

Expression	addInConjonction(Expression req)
static BinaryExp	and(Expression s1, Expression s2) Returns the conjonction of two expressions.
static Expression	createE(JmlFile jf, antlr.collections.AST tree) Creates an expression from an AST node.
java.lang.String	emit()
abstract boolean	equals(Expression e) Returns whether two expressions are equal.
Formula	exprToForm(IJml2bConfiguration config) Converts the expression into a formula.
void	getAssert(java.util.Vector asser)
static Expression	getFalse() Returns the expression false.
static Expression	getFromString(java.lang.String expression)
void	getLoop(java.util.Vector blocks)
java.lang.String	getNodeText() Returns the nodeText.
int	getNodeType() Returns the nodeType.
static Expression	getNull() Returns the expression null.
abstract java.util.Vector	getParsedItems() Returns the set of parsed items that correspond to this expression
void	getSpecBlock(java.util.Vector blocks)
Type	getStateType() Returns the stateType.
static Expression	getTrue() Returns the expression true.
int	getValue() Return the value associated to a constant expression.
static Expression	getZero() Returns the expression 0.
abstract JmlExpression	instancie(Expression b) Replaces this with the parameter in the expression.
boolean	isAnd() Tests if the expression operator is an and.
boolean	isBTrue() Tests if this expression is btrue.
boolean	isComma() Tests if the expression operator is a comma.
abstract boolean	isConstant() Returns whether this expression is a constant.
boolean	isDot() Tests if the expression operator is a dot.
abstract void	isModifiersCompatible(Modifiers modifiers) Tests whether the expression contains fields that have modifiers compatible with the invariant modifiers.
Statement	jmlNormalize(IJml2bConfiguration config, Class definingClass) Collects all the indentifier of the statement to give them an index in the identifer array.
LinkInfo	linkMethod(IJml2bConfiguration config, LinkContext f, java.util.Vector parameters) Links a method call.
void	linkParameters(IJml2bConfiguration config, LinkContext f, java.util.Vector parameters) Links the parameters list of a method call and the resulting type to the parameters vector.
Expression	normComma(Expression t) Normalized comma expression (a,b),c in a,(b,c).
abstract void	old() Converts old pragma in called old pragma.
Formula	predToForm(IJml2bConfiguration config) Converts the expression, considered as a predicate into a formula
abstract void	processIdent() Collects all the indentifier of the statement to give them an index in the identifer array.
Expression	renameParam(Parameters signature, Parameters newSignature) Renames the fields belonging to the parameter list with new names.
void	setNodeText(java.lang.String nodeText) Sets the nodeText.
void	setNodeType(int nodeType) Sets the nodeType.
abstract void	setParsedItem(ParsedItem pi)
void	setStateType(Type s) Sets the state type value.
abstract Expression	subField(Field f, Field newF)
abstract Expression	subResult(java.lang.String ww)
abstract java.lang.String	toJava(int indent) Displays the expression corresponding to a part of a method specification in a tool tip with the initial Java syntax.
Proofs	wp(IJml2bConfiguration config, Proofs normalBehaviour, Proofs finishOnReturn, LabeledProofsVector finishOnBreakLab, LabeledProofsVector finishOnContinueLab, ExceptionalBehaviourStack exceptionalBehaviour) Returns the proofs resulting where the WP calculus apply on this statement.
abstract Proofs	wp(IJml2bConfiguration config, java.lang.String result, Proofs normalBehaviour, ExceptionalBehaviourStack exceptionalBehaviour) Returns the proofs resulting where the WP calculus apply on this expression.

Methods inherited from class jml2b.structure.statement.Statement

clone, collectCalledMethod, createS, ensures, ensures, firstStatement, fresh, freshObject, freshResult, getLoopAtLine, getPrecondition, initFresh, link, linkStatement, linkStatements, parse, tail

Methods inherited from class jml2b.structure.java.ParsedItem

change, change, getColumn, getJmlFile, getLine, save, setBox

Methods inherited from class jml2b.util.Profiler

runGC

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface jml2b.structure.jml.JmlExpression

clone, instancie

Methods inherited from interface jml2b.link.TypeCheckable

typeCheck

Method Detail

getNull

public static Expression getNull()

Returns the expression null.

Returns:

the terminal expression LITERAL_null

getFalse

public static Expression getFalse()

Returns the expression false.

Returns:

the terminal expression LITERAL_false

getTrue

public static Expression getTrue()

Returns the expression true.

Returns:

the terminal expression LITERAL_true

getZero

public static Expression getZero()

Returns the expression 0.

Returns:

the terminal expression NUM_INT with nodeText 0.

getFromString

public static Expression getFromString(java.lang.String expression)
                                throws Jml2bException

Throws:

Jml2bException

and

public static BinaryExp and(Expression s1,
                            Expression s2)

Returns the conjonction of two expressions.

Parameters:

s1 - left part of the conjonction

s2 - right part of the conjonction

Returns:

s1 && s2

createE

public static Expression createE(JmlFile jf,
                                 antlr.collections.AST tree)
                          throws Jml2bException

Creates an expression from an AST node.

Parameters:

jf - JML file where is located this expression

tree - AST node corresponding to this expression

Returns:

the newly created expression to be instanciated by the parse methods.

Throws:

InternalError - when the type of the node does not correspond to a known node type.

Jml2bException

isBTrue

public final boolean isBTrue()

Tests if this expression is btrue.

Returns:

true if the expression node type is BTRUE, false otherwise

isComma

public final boolean isComma()

Tests if the expression operator is a comma.

Returns:

true if the expression node type is COMMA, false otherwise

isDot

public final boolean isDot()

Tests if the expression operator is a dot.

Returns:

true if the expression node type is DOT, false otherwise

isAnd

public final boolean isAnd()

Tests if the expression operator is an and.

Returns:

true if the expression node type is LOGICAL_OP with node text "&&", false otherwise

linkParameters

public void linkParameters(IJml2bConfiguration config,
                           LinkContext f,
                           java.util.Vector parameters)
                    throws Jml2bException

Links the parameters list of a method call and the resulting type to the parameters vector.

Parameters:

config - the current configuration of the generator

f - The link context

parameters - The type set of the parameters (constructed here)

Throws:

Jml2bException

linkMethod

public final LinkInfo linkMethod(IJml2bConfiguration config,
                                 LinkContext f,
                                 java.util.Vector parameters)
                          throws Jml2bException

Links a method call.

Parameters:

config - the current configuration of the generator

f - link context

parameters - set of types of the method parameters

Returns:

the resulting link informations

Throws:

Jml2bException

normComma

public final Expression normComma(Expression t)

Normalized comma expression (a,b),c in a,(b,c).

Parameters:

t -

Returns:

the normalized expression

exprToForm

public final Formula exprToForm(IJml2bConfiguration config)
                         throws Jml2bException,
                                PogException

Converts the expression into a formula.

Parameters:

config - the current configuration of the generator

Returns:

the resulting formula

Throws:

PogException

Jml2bException

predToForm

public final Formula predToForm(IJml2bConfiguration config)
                         throws Jml2bException,
                                PogException

Converts the expression, considered as a predicate into a formula

Specified by:

predToForm in interface JmlExpression

Parameters:

config - the current configuration of the generator

Returns:

the resulting formula

Throws:

PogException

Jml2bException

emit

public java.lang.String emit()

Specified by:

emit in class Statement

setStateType

public final void setStateType(Type s)

Sets the state type value.

Parameters:

s - state type value

wp

public final Proofs wp(IJml2bConfiguration config,
                       Proofs normalBehaviour,
                       Proofs finishOnReturn,
                       LabeledProofsVector finishOnBreakLab,
                       LabeledProofsVector finishOnContinueLab,
                       ExceptionalBehaviourStack exceptionalBehaviour)
                throws Jml2bException,
                       PogException

Description copied from class: Statement

Returns the proofs resulting where the WP calculus apply on this statement.

Specified by:

wp in class Statement

Parameters:

normalBehaviour - theorems to ensure if the statement terminates normally

finishOnReturn - theorems to ensure if the statement terminates abruptly on a return

finishOnBreakLab - labelled theorems to ensure if the statement terminates abruptly on a break

finishOnContinueLab - labelled theorems to ensure if the statement terminates abruptly on a continue

exceptionalBehaviour - exceptional theorems to ensure if the statement terminates abruply on an exception

Returns:

the proofs obligation resulting from the WP calculus

Throws:

PogException

Jml2bException

See Also:

Statement.wp(IJml2bConfiguration, Proofs, Proofs, LabeledProofsVector, LabeledProofsVector, ExceptionalBehaviourStack)

getValue

public int getValue()

Return the value associated to a constant expression.

This method should only be called if isConstant returned true.

Returns:

the integer value of the expression

renameParam

public Expression renameParam(Parameters signature,
                              Parameters newSignature)

Renames the fields belonging to the parameter list with new names.

Parameters:

signature - the signature of the called method

newSignature - the list of new names

Returns:

the current formula renamed

See Also:

jml2b.pog.Proofs#renameParam(Parameters, Vector)

subField

public abstract Expression subField(Field f,
                                    Field newF)

subResult

public abstract Expression subResult(java.lang.String ww)

processIdent

public abstract void processIdent()

Collects all the indentifier of the statement to give them an index in the identifer array. This array is then analyzed to give short name when it is possible to identifiers.

See Also:

jml2b.pog.IdentifierResolver#bIdents

jmlNormalize

public final Statement jmlNormalize(IJml2bConfiguration config,
                                    Class definingClass)

Description copied from class: Statement

Collects all the indentifier of the statement to give them an index in the identifer array. This array is then analyzed to give short name when it is possible to identifiers. Instancie the statement. More informations on instancie.

Specified by:

jmlNormalize in class Statement

Parameters:

definingClass - The class where this statement is defined

Returns:

the normalized statement

See Also:

jml2b.pog.IdentifierResolver#bIdents

equals

public abstract boolean equals(Expression e)

Returns whether two expressions are equal.

Parameters:

e - The tested expression

Returns:

true if the expression equals the parameter, false otherwise

instancie

public abstract JmlExpression instancie(Expression b)

Replaces this with the parameter in the expression.

Specified by:

instancie in interface JmlExpression

Parameters:

b - expression on which the method where the expression occurs is called.

Returns:

the modified expression

isConstant

public abstract boolean isConstant()

Returns whether this expression is a constant.

Returns:

true if the expression is a constant, false otherwise

old

public abstract void old()

Converts old pragma in called old pragma.

toJava

public abstract java.lang.String toJava(int indent)

Displays the expression corresponding to a part of a method specification in a tool tip with the initial Java syntax.

Returns:

the string corresponding to this expression

wp

public abstract Proofs wp(IJml2bConfiguration config,
                          java.lang.String result,
                          Proofs normalBehaviour,
                          ExceptionalBehaviourStack exceptionalBehaviour)
                   throws Jml2bException,
                          PogException

Returns the proofs resulting where the WP calculus apply on this expression. The calculus is only applied on Java expression.

Parameters:

config - the current configuration of the generator

normalBehaviour - theorems to ensure if the expression evaluation terminates normally

exceptionalBehaviour - exceptional theorems to ensure if the expression evaluation terminates abruply on an exception

Returns:

the proofs obligation resulting from the WP calculus

Throws:

PogException

Jml2bException

isModifiersCompatible

public abstract void isModifiersCompatible(Modifiers modifiers)
                                    throws LinkException

Tests whether the expression contains fields that have modifiers compatible with the invariant modifiers.

• If the invariant is static, all fields should be static.
• If the invariant is private, all fields should be private.
• If the invariant is package-visible, all fields should be almost package-visible.
• If the invariant is protected, all fields should be almost protected.

Parameters:

modifiers - The current invariant modifiers

Throws:

LinkException - when the test fails.

getParsedItems

public abstract java.util.Vector getParsedItems()

Returns the set of parsed items that correspond to this expression

Specified by:

getParsedItems in interface JmlExpression

Returns:

the set of parsed item that correspond to the complete expression

setParsedItem

public abstract void setParsedItem(ParsedItem pi)

getStateType

public final Type getStateType()

Returns the stateType.

Returns:

Type

getNodeText

public final java.lang.String getNodeText()

Returns the nodeText.

Returns:

String

setNodeText

public final void setNodeText(java.lang.String nodeText)

Sets the nodeText.

Parameters:

nodeText - The nodeText to set

getNodeType

public final int getNodeType()

Returns the nodeType.

Returns:

int

setNodeType

public final void setNodeType(int nodeType)

Sets the nodeType.

Parameters:

nodeType - The nodeType to set

addInConjonction

public Expression addInConjonction(Expression req)

getAssert

public void getAssert(java.util.Vector asser)

Specified by:

getAssert in class Statement

getSpecBlock

public void getSpecBlock(java.util.Vector blocks)

Specified by:

getSpecBlock in class Statement

getLoop

public void getLoop(java.util.Vector blocks)

Specified by:

getLoop in class Statement