de.uka.ilkd.key.java

Class ParentIsInterfaceDeclaration

java.lang.Object

de.uka.ilkd.key.java.ParentIsInterfaceDeclaration

public class ParentIsInterfaceDeclaration
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	value

Constructor Summary

Constructors

Constructor and Description
ParentIsInterfaceDeclaration(boolean val)

Method Summary

Modifier and Type	Method and Description
boolean	getValue()

Methods inherited from class java.lang.Object

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

Field Detail

value

private boolean value

Constructor Detail

ParentIsInterfaceDeclaration

public ParentIsInterfaceDeclaration(boolean val)

Method Detail

getValue

public boolean getValue()