RetInstruction (MPS.Core (JetBrains MPS 2019.1.0))

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

public class RetInstruction
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
  
  RetInstruction()
  
  RetInstruction(String ruleNodeReference)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  String commandPresentation()
  
  List<ProgramState> succ(ProgramState s)
  - Methods inherited from class jetbrains.mps.lang.dataFlow.framework.instructions.Instruction
    addJump, buildCaches, getEnclosingBlock, getIndex, getJumps, getProgram, getRuleReference, getSource, getUserObject, isAfter, isBefore, isStart, pred, 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

Constructor Detail

RetInstruction
```
public RetInstruction()
```

RetInstruction

public RetInstruction(String ruleNodeReference)

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