FinallyInstruction (MPS.Core (JetBrains MPS 2019.1.0))

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
  
  void buildCaches()
  
  String commandPresentation()
  
  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
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - FinallyInstruction
```
public FinallyInstruction()
```
  - FinallyInstruction
```
public FinallyInstruction(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