public final class TestData
extends java.lang.Object
Constructor and Description |
---|
TestData(java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> bindings) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> |
getBindings() |
java.lang.String |
toString() |