| |
|
| java.lang.Object de.uka.ilkd.key.visualdebugger.executiontree.ITNode
ITNode | public class ITNode (Code) | | |
Field Summary | |
ListOfTerm | bc | ListOfTerm | pc |
getBc | public ListOfTerm getBc()(Code) | | |
getLastExpressionId | public ITNode getLastExpressionId()(Code) | | |
getMethodReference | public Term getMethodReference()(Code) | | |
getMethodReturnResult | public Term getMethodReturnResult()(Code) | | |
getParameter | public ListOfProgramVariable getParameter()(Code) | | |
getPc | public ListOfTerm getPc()(Code) | | |
getPc | public ListOfTerm getPc(boolean impl)(Code) | | |
getValues | public ListOfTerm getValues()(Code) | | |
isExprEnd | public boolean isExprEnd()(Code) | | |
isMethodInvocation | public boolean isMethodInvocation()(Code) | | |
isMethodInvocationForET | public boolean isMethodInvocationForET()(Code) | | |
isMethodReturn | public boolean isMethodReturn()(Code) | | |
isNobc | public boolean isNobc()(Code) | | |
removeAllChildren | public void removeAllChildren()(Code) | | |
setNobc | public void setNobc(boolean nobc)(Code) | | |
|
|
|