| |
|
| java.lang.Object de.uka.ilkd.key.rule.export.TacletModelInfo
TacletModelInfo | public class TacletModelInfo implements Named(Code) | | |
getFilename | public String getFilename()(Code) | | Returns the filename. |
getOptions | public ListOfOptionModelInfo getOptions()(Code) | | Returns the options. |
getRuleSets | public ListOfRuleSetModelInfo getRuleSets()(Code) | | Returns the ruleSets. |
getTaclet | public Taclet getTaclet()(Code) | | Returns the taclet. |
setIntroducingTaclet | public void setIntroducingTaclet(TacletModelInfo introducingTaclet)(Code) | | Parameters: introducingTaclet - The introducingTaclet to set. |
setOptions | public void setOptions(ListOfOptionModelInfo options)(Code) | | Parameters: options - The options to set. |
setRuleSets | public void setRuleSets(ListOfRuleSetModelInfo ruleSets)(Code) | | Parameters: ruleSets - The ruleSets to set. |
|
|
|