| java.lang.Object de.uka.ilkd.key.rule.TacletPrefix
TacletPrefix | public class TacletPrefix (Code) | | |
Constructor Summary | |
public | TacletPrefix(SetOfSchemaVariable prefix, boolean context) |
TacletPrefix | public TacletPrefix(SetOfSchemaVariable prefix, boolean context)(Code) | | creates the prefix
Parameters: prefix - the SetOfSchemaVariable that is the prefix of a termsv orformulasv Parameters: context - a boolean marker |
context | public boolean context()(Code) | | returns the context marker
the context marker |
hashCode | public int hashCode()(Code) | | |
iterator | public IteratorOfSchemaVariable iterator()(Code) | | |
prefix | public SetOfSchemaVariable prefix()(Code) | | returns the prefix
the prefix |
put | public TacletPrefix put(SchemaVariable var)(Code) | | creates a new TacletPrefix with a new prefix entry
Parameters: var - the SchemaVariable to be added the new prefix |
remove | public TacletPrefix remove(SchemaVariable var)(Code) | | removes a SchemaVariable from the prefix
Parameters: var - the SchemaVariable to be removed the new prefix |
setContext | public TacletPrefix setContext(boolean setTo)(Code) | | returns a new TacletPrefix with the context flag set to the given
boolean value
Parameters: setTo - the boolean to which the TacletPrefix is set to a newly created TacletPrefix |
|
|