Class JumpInstruction
- java.lang.Object
 - 
- jetbrains.mps.lang.dataFlow.framework.instructions.Instruction
 - 
- jetbrains.mps.lang.dataFlow.framework.instructions.JumpInstruction
 
 
 
- 
public class JumpInstruction 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 JumpInstruction()JumpInstruction(String ruleNodeReference) 
- 
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidbuildCaches()StringcommandPresentation()intgetJumpTo()voidsetJumpTo(int jumpTo)voidsetJumpTo(StructuralProgramBuilder.Position position)List<ProgramState>succ(ProgramState s)voidupdateJumps(int jumpTo)- 
Methods inherited from class jetbrains.mps.lang.dataFlow.framework.instructions.Instruction
addJump, getEnclosingBlock, getIndex, getJumps, getProgram, getRuleReference, getSource, getUserObject, isAfter, isBefore, isStart, pred, pred, putUserObject, removeJump, setIndex, setProgram, setRuleReference, setSource, succ, toString 
 - 
 
 - 
 
- 
- 
Constructor Detail
- 
JumpInstruction
public JumpInstruction()
 
- 
JumpInstruction
public JumpInstruction(String ruleNodeReference)
 
 - 
 
- 
Method Detail
- 
getJumpTo
public int getJumpTo()
 
- 
setJumpTo
public void setJumpTo(int jumpTo)
 
- 
updateJumps
public void updateJumps(int jumpTo)
 
- 
setJumpTo
public void setJumpTo(StructuralProgramBuilder.Position position)
 
- 
buildCaches
public void buildCaches()
- Overrides:
 buildCachesin classInstruction
 
- 
succ
public List<ProgramState> succ(ProgramState s)
- Overrides:
 succin classInstruction
 
- 
commandPresentation
public String commandPresentation()
- Specified by:
 commandPresentationin classInstruction
 
 - 
 
 -