001: // This file is part of KeY - Integrated Deductive Software Design
002: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
003: // Universitaet Koblenz-Landau, Germany
004: // Chalmers University of Technology, Sweden
005: //
006: // The KeY system is protected by the GNU General Public License.
007: // See LICENSE.TXT for details.
008: //This file is part of KeY - Integrated Deductive Software Design
009: //Copyright (C) 2001-2003 Universitaet Karlsruhe, Germany
010: // and Chalmers University of Technology, Sweden
011: //
012: //The KeY system is protected by the GNU General Public License.
013: //See LICENSE.TXT for details.
014: //
015:
016: package de.uka.ilkd.key.rule.export;
017:
018: import de.uka.ilkd.key.logic.Name;
019: import de.uka.ilkd.key.rule.RuleSet;
020:
021: public class RuleSetModelInfo extends AbstractTacletContainer {
022: private RuleSet ruleSet;
023: private String definition;
024: private boolean isVirtual;
025: private ListOfRuleSetModelInfo intersectingSets = SLListOfRuleSetModelInfo.EMPTY_LIST;
026: private ListOfRuleSetModelInfo super Sets = SLListOfRuleSetModelInfo.EMPTY_LIST;
027: private ListOfRuleSetModelInfo subSets = SLListOfRuleSetModelInfo.EMPTY_LIST;
028: private ListOfRuleSetModelInfo equalSets = SLListOfRuleSetModelInfo.EMPTY_LIST;
029:
030: public RuleSetModelInfo(RuleSet ruleSet) {
031: this .ruleSet = ruleSet;
032: this .definition = null;
033: this .isVirtual = false;
034: }
035:
036: public RuleSetModelInfo(RuleSet ruleSet, String definition,
037: boolean isVirtual) {
038: this .ruleSet = ruleSet;
039: this .definition = definition;
040: this .isVirtual = isVirtual;
041: }
042:
043: public RuleSet getRuleSet() {
044: return ruleSet;
045: }
046:
047: public ListOfRuleSetModelInfo getSuperSets() {
048: return super Sets;
049: }
050:
051: public void setSuperSets(ListOfRuleSetModelInfo super Sets) {
052: this .super Sets = super Sets;
053: }
054:
055: public void addSuperSet(RuleSetModelInfo set) {
056: super Sets = super Sets.prepend(set);
057: }
058:
059: public ListOfRuleSetModelInfo getEqualSets() {
060: return equalSets;
061: }
062:
063: public void setEqualSets(ListOfRuleSetModelInfo equalRuleSets) {
064: this .equalSets = equalRuleSets;
065: }
066:
067: public void addEqualSet(RuleSetModelInfo set) {
068: equalSets = equalSets.prepend(set);
069: }
070:
071: public ListOfRuleSetModelInfo getIntersectingSets() {
072: return intersectingSets;
073: }
074:
075: public void setIntersectingSets(
076: ListOfRuleSetModelInfo intersectingRuleSets) {
077: this .intersectingSets = intersectingRuleSets;
078: }
079:
080: public void addIntersectingSet(RuleSetModelInfo set) {
081: intersectingSets = intersectingSets.prepend(set);
082: }
083:
084: public ListOfRuleSetModelInfo getSubSets() {
085: return subSets;
086: }
087:
088: public void setSubSets(ListOfRuleSetModelInfo subSets) {
089: this .subSets = subSets;
090: }
091:
092: public void addSubSet(RuleSetModelInfo set) {
093: subSets = subSets.prepend(set);
094: }
095:
096: public Name name() {
097: return ruleSet.name();
098: }
099:
100: public boolean isVirtual() {
101: return isVirtual;
102: }
103:
104: public String getDefinition() {
105: return definition;
106: }
107: }
|