de.uka.ilkd.key.parser

Class KeYParser.PairOfStringAndJavaBlock

java.lang.Object

de.uka.ilkd.key.parser.KeYParser.PairOfStringAndJavaBlock

Enclosing class:

KeYParser

private static class KeYParser.PairOfStringAndJavaBlock
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
(package private) JavaBlock	javaBlock
(package private) java.lang.String	opName

Constructor Summary

Constructors

Modifier	Constructor and Description
private	PairOfStringAndJavaBlock()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

opName

java.lang.String opName

javaBlock

JavaBlock javaBlock

Constructor Detail

PairOfStringAndJavaBlock

private PairOfStringAndJavaBlock()