private static class KeYParser.PairOfStringAndJavaBlock
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) JavaBlock |
javaBlock |
(package private) java.lang.String |
opName |
Modifier | Constructor and Description |
---|---|
private |
PairOfStringAndJavaBlock() |
java.lang.String opName
JavaBlock javaBlock