public final class Block
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
java.util.List<ru.ispras.microtesk.translator.nml.coverage.GuardedBlock> |
getChildren() |
java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeVariable> |
getInputs() |
java.util.List<ru.ispras.fortress.expression.NodeVariable> |
getIntermediates() |
java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeVariable> |
getOutputs() |
java.util.List<ru.ispras.fortress.expression.NodeOperation> |
getStatements() |
Block |
getSuccessor() |
public java.util.List<ru.ispras.microtesk.translator.nml.coverage.GuardedBlock> getChildren()
public Block getSuccessor()
public java.util.List<ru.ispras.fortress.expression.NodeOperation> getStatements()
public java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeVariable> getInputs()
public java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeVariable> getOutputs()
public java.util.List<ru.ispras.fortress.expression.NodeVariable> getIntermediates()