EndInstruction (MPS.Core (JetBrains MPS 2019.1.0))

java.lang.Object
- jetbrains.mps.lang.dataFlow.framework.instructions.Instruction
- - jetbrains.mps.lang.dataFlow.framework.instructions.EndInstruction

public class EndInstruction
extends Instruction

Field Summary

Fields
Modifier and Type Field Description

protected Set<RetInstruction> myReturns
- Fields inherited from class jetbrains.mps.lang.dataFlow.framework.instructions.Instruction
  myBlockInfo, myIndex, myJumps, myProgram, myRuleReference, mySource, myUserObjects

Constructor Summary

Constructors
Constructor Description

EndInstruction()

EndInstruction(String ruleNodeReference)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`buildCaches()`
`String`	`commandPresentation()`
`List<ProgramState>`	`pred(ProgramState s)`
`List<ProgramState>`	`succ(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, toString

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

myReturns

protected final Set<RetInstruction> myReturns

Constructor Detail

EndInstruction
```
public EndInstruction()
```

EndInstruction

public EndInstruction(String ruleNodeReference)

Method Detail
- commandPresentation
```
public String commandPresentation()
```
  Specified by:
  
  commandPresentation in class Instruction
- buildCaches
```
public void buildCaches()
```
  Overrides:
  
  buildCaches in class Instruction
- pred
```
public List<ProgramState> pred(ProgramState s)
```
  Overrides:
  
  pred in class Instruction
- succ
```
public List<ProgramState> succ(ProgramState s)
```
  Overrides:
  
  succ in class Instruction