|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectentities.Expression
entities.ThrowExpression
The class ThrowExpression represents the throw-statement
Field Summary |
Fields inherited from class entities.Expression |
fCast, fFile, fLBracketPosition, fOperator, fParentScope, fPosition, fPreviousExpression, fRBracketPosition, fToTrace, fTypeOfCast, SEPARATORS |
Constructor Summary | |
ThrowExpression(ScopeManager parentScope)
|
Method Summary | |
void |
computeType(ScopeInfo scopeInfo,
java.lang.String indentation)
This method, properly overwritten in the subclasses, computes recursively the types of variables involved in the expressions |
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. |
Expression |
getException()
|
java.lang.String |
getString()
|
void |
print(java.lang.String indentation)
Empty |
void |
setException(Expression expr)
The parameter "expr" represents the expression found after the keyword "throw" |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ThrowExpression(ScopeManager parentScope)
Method Detail |
public void setException(Expression expr)
void A::f(){ ... throw new E();..}In this case "expr" (of type Allocation) represents the expression "new E()"
void A::f(){ ... throw E();..}In this case "expr" (of type Call) represents the expression "E()"
public Expression getException()
void A::f(){ ... throw new E();..}In this case it returns an object of type Allocation representing the expression "new E()"
void A::f(){ ... throw E();..}In this case it returns an object of type Call representing the expression "E()"
public java.lang.String getString()
getString
in class Expression
public ScopeManager findVariableType(java.lang.String nameToBeFound, java.lang.StringBuffer typeToBeFound, Expression expr)
Expression
findVariableType
in interface ScopeManager
findVariableType
in class Expression
public void computeType(ScopeInfo scopeInfo, java.lang.String indentation)
Expression
computeType
in class Expression
public void print(java.lang.String indentation)
Expression
print
in interface ScopeManager
print
in class Expression
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |