ProgramState (MPS.Core (JetBrains MPS 2019.1.0))

java.lang.Object
- jetbrains.mps.lang.dataFlow.framework.ProgramState

public class ProgramState
extends Object

Constructor Summary

Constructors
Constructor Description

ProgramState(Instruction instruction, boolean returnMode)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`int`	`getIndex()`
`Instruction`	`getInstruction()`
`int`	`hashCode()`
`boolean`	`isReturnMode()`
`boolean`	`isStart()`
`List<ProgramState>`	`pred()`
`List<ProgramState>`	`succ()`
`String`	`toString()`

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

Constructor Detail

ProgramState

public ProgramState(Instruction instruction,
                    boolean returnMode)

Method Detail

getInstruction
```
public Instruction getInstruction()
```

isReturnMode
```
public boolean isReturnMode()
```

isStart
```
public boolean isStart()
```

succ
```
public List<ProgramState> succ()
```

pred
```
public List<ProgramState> pred()
```

getIndex
```
public int getIndex()
```

toString
```
public String toString()
```
Overrides:

toString in class Object

equals
```
public boolean equals(Object obj)
```
Overrides:

equals in class Object

hashCode
```
public int hashCode()
```
Overrides:

hashCode in class Object