Class FinallyInstruction
- java.lang.Object
 - 
- jetbrains.mps.lang.dataFlow.framework.instructions.Instruction
 - 
- jetbrains.mps.lang.dataFlow.framework.instructions.FinallyInstruction
 
 
 
- 
public class FinallyInstruction extends Instruction
 
- 
- 
Field Summary
- 
Fields inherited from class jetbrains.mps.lang.dataFlow.framework.instructions.Instruction
myBlockInfo, myIndex, myJumps, myProgram, myRuleReference, mySource, myUserObjects 
 - 
 
- 
Constructor Summary
Constructors Constructor Description FinallyInstruction()FinallyInstruction(String ruleNodeReference) 
- 
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidbuildCaches()StringcommandPresentation()List<ProgramState>pred(ProgramState s)- 
Methods inherited from class jetbrains.mps.lang.dataFlow.framework.instructions.Instruction
addJump, getEnclosingBlock, getIndex, getJumps, getProgram, getRuleReference, getSource, getUserObject, isAfter, isBefore, isStart, pred, putUserObject, removeJump, setIndex, setProgram, setRuleReference, setSource, succ, succ, toString 
 - 
 
 - 
 
- 
- 
Constructor Detail
- 
FinallyInstruction
public FinallyInstruction()
 
- 
FinallyInstruction
public FinallyInstruction(String ruleNodeReference)
 
 - 
 
- 
Method Detail
- 
commandPresentation
public String commandPresentation()
- Specified by:
 commandPresentationin classInstruction
 
- 
buildCaches
public void buildCaches()
- Overrides:
 buildCachesin classInstruction
 
- 
pred
public List<ProgramState> pred(ProgramState s)
- Overrides:
 predin classInstruction
 
 - 
 
 -