de.uka.ilkd.key.taclettranslation.lemma

Class TacletSoundnessPOLoader.TacletInfo

java.lang.Object

de.uka.ilkd.key.taclettranslation.lemma.TacletSoundnessPOLoader.TacletInfo

Enclosing class:

TacletSoundnessPOLoader

public static class TacletSoundnessPOLoader.TacletInfo
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	alreadyInUse
private String	nameLowerCase
private boolean	notSupported
private Taclet	taclet

Constructor Summary

Constructors

Constructor and Description
TacletInfo(Taclet taclet, boolean alreadyInUse, boolean notSupported)

Method Summary

Modifier and Type	Method and Description
String	getNameLowerCase()
Taclet	getTaclet()
boolean	isAlreadyInUse()
boolean	isNotSupported()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

taclet

private final Taclet taclet

alreadyInUse

private final boolean alreadyInUse

notSupported

private final boolean notSupported

nameLowerCase

private final String nameLowerCase

Constructor Detail

TacletInfo

public TacletInfo(Taclet taclet,
                  boolean alreadyInUse,
                  boolean notSupported)

Method Detail

getTaclet

public Taclet getTaclet()

isAlreadyInUse

public boolean isAlreadyInUse()

getNameLowerCase

public String getNameLowerCase()

isNotSupported

public boolean isNotSupported()

toString

public String toString()

Overrides:

toString in class Object