private static class KeYParser.PairOfStringAndJavaBlock extends Object
(package private) JavaBlock
javaBlock
(package private) String
opName
private
PairOfStringAndJavaBlock()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
String opName
JavaBlock javaBlock
private PairOfStringAndJavaBlock()