entities
Class WhileExpression

java.lang.Object
  extended byentities.Expression
      extended byentities.WhileExpression
All Implemented Interfaces:
ScopeManager

public class WhileExpression
extends Expression

The class WhileExpression represents an while-statement


Field Summary
 
Fields inherited from class entities.Expression
fCast, fFile, fLBracketPosition, fOperator, fParentScope, fPosition, fPreviousExpression, fRBracketPosition, fToTrace, fTypeOfCast, SEPARATORS
 
Constructor Summary
WhileExpression(ScopeManager parentScope)
           
 
Method Summary
 void addExpression(Expression expr, ScopeManager wrapper)
          Add an Expression object associated with a statement inside the the while statement
 void addVariable(Variable var)
          Empty
 ScopeManager findVariableType(java.lang.String nameToBeFound, java.lang.StringBuffer typeToBeFound, Expression expr)
          Look for the variable declaration whose name is "nameToBeFound" and return the ScopeManager in which it is defined (if found), filling "typeToBeFound" with the variabl type.
 java.util.Vector getBody()
           
 Expression getCondition()
           
 java.lang.String getString()
           
 void print(java.lang.String indentation)
          Empty
 void setCondition(Expression expr, ScopeManager wrapper)
          The expression "expr" is used to represent the condition after the keyword "while"
 void setLBracketPosition(int position)
          Empty
 void setRBracketPosition(int position)
          Empty
 
Methods inherited from class entities.Expression
addClass, addClassHeaderFile, addEnumerator, addExternalField, addExternalMethod, addField, addFriendClass, addFriendFunction, addFriendMethod, addFunction, addGeneralization, addMethod, addNameSpace, addType, addUserType, cleanType, computeType, fillName, fillNameNew, getAllocationType, getCast, getCastType, getClassContext, getContainingMethod, getContext, getContextNew, getCurrentMethod, getFile, getLBracketPosition, getName, getOperator, getOperators, getParent, getParentScope, getPosition, getPreviousExpression, getRBracketPosition, getType, getTypeOfCast, propagateParentScope, resolveType, setCast, setFile, setOperator, setParentScope, setPosition, setPreviousExpression, setTypeOfCast
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WhileExpression

public WhileExpression(ScopeManager parentScope)
Method Detail

getCondition

public Expression getCondition()
Returns:
the object (of type Expression) corresponding to the while condition
 
 Ex: while (i>0) {...}
 
In this case it returns the CompositeExpression corresponding to the statement "i>0"

getBody

public java.util.Vector getBody()
Returns:
a Vector of objects of type Expression corresponding to the statements found inside the then block.

getString

public java.lang.String getString()
Overrides:
getString in class Expression
Returns:
the representation of the Expression as a String (it is not a thorough reconstruction)

addVariable

public void addVariable(Variable var)
Description copied from class: Expression
Empty

Specified by:
addVariable in interface ScopeManager
Overrides:
addVariable in class Expression
Parameters:
var - represents a local variable declared inside the while block

addExpression

public void addExpression(Expression expr,
                          ScopeManager wrapper)
Add an Expression object associated with a statement inside the the while statement

Specified by:
addExpression in interface ScopeManager
Overrides:
addExpression in class Expression

setCondition

public void setCondition(Expression expr,
                         ScopeManager wrapper)
The expression "expr" is used to represent the condition after the keyword "while"
 Ex: while (a>b) {...} 
 
The parameter "expr" represents the expression "a>b"


findVariableType

public ScopeManager findVariableType(java.lang.String nameToBeFound,
                                     java.lang.StringBuffer typeToBeFound,
                                     Expression expr)
Description copied from class: Expression
Look for the variable declaration whose name is "nameToBeFound" and return the ScopeManager in which it is defined (if found), filling "typeToBeFound" with the variabl type.

Specified by:
findVariableType in interface ScopeManager
Overrides:
findVariableType in class Expression

setLBracketPosition

public void setLBracketPosition(int position)
Description copied from class: Expression
Empty

Overrides:
setLBracketPosition in class Expression
Parameters:
position - represents the position of "{", if present

setRBracketPosition

public void setRBracketPosition(int position)
Description copied from class: Expression
Empty

Overrides:
setRBracketPosition in class Expression
Parameters:
position - represents the position of "}", if present

print

public void print(java.lang.String indentation)
Description copied from class: Expression
Empty

Specified by:
print in interface ScopeManager
Overrides:
print in class Expression