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: //
009: //
010:
011: package de.uka.ilkd.key.logic.sort.oclsort;
012:
013: import de.uka.ilkd.key.logic.Name;
014: import de.uka.ilkd.key.logic.sort.Sort;
015:
016: public interface OclSort extends Sort {
017:
018: //For OCL simplification
019: OclInvariantSort OCLINVARIANT = new OclInvariantSort(new Name(
020: "OclInvariant"));
021:
022: OclGenericSort OCLGENERIC = new OclGenericSort(new Name(
023: "OclGeneric"));
024: OclAnySort OCLANY = new OclAnySort(new Name("OclAny"));
025: OclTypeSort OCLTYPE = new OclTypeSort(new Name("OclType"));
026: BooleanSort BOOLEAN = new BooleanSort(new Name("OclBoolean"));
027: RealSort REAL = new RealSort(new Name("OclReal"));
028: IntegerSort INTEGER = new IntegerSort(new Name("OclInteger"));
029: StringSort STRING = new StringSort(new Name("OclString"));
030: ClassifierSort CLASSIFIER = new ClassifierSort(new Name(
031: "OclClassifier"));
032:
033: CollectionSort COLLECTION_OF_OCLGENERIC = new CollectionSort(
034: CollectionSort.COLLECTION, OCLGENERIC);
035: CollectionSort COLLECTION_OF_OCLANY = new CollectionSort(
036: CollectionSort.COLLECTION, OCLANY);
037: CollectionSort COLLECTION_OF_OCLTYPE = new CollectionSort(
038: CollectionSort.COLLECTION, OCLTYPE);
039: CollectionSort COLLECTION_OF_BOOLEAN = new CollectionSort(
040: CollectionSort.COLLECTION, BOOLEAN);
041: CollectionSort COLLECTION_OF_REAL = new CollectionSort(
042: CollectionSort.COLLECTION, REAL);
043: CollectionSort COLLECTION_OF_INTEGER = new CollectionSort(
044: CollectionSort.COLLECTION, INTEGER);
045: CollectionSort COLLECTION_OF_STRING = new CollectionSort(
046: CollectionSort.COLLECTION, STRING);
047: CollectionSort COLLECTION_OF_CLASSIFIER = new CollectionSort(
048: CollectionSort.COLLECTION, CLASSIFIER);
049:
050: CollectionSort SET_OF_OCLINVARIANT = new CollectionSort(
051: CollectionSort.SET, OCLINVARIANT);
052: CollectionSort SET_OF_OCLGENERIC = new CollectionSort(
053: CollectionSort.SET, OCLGENERIC);
054: CollectionSort SET_OF_OCLANY = new CollectionSort(
055: CollectionSort.SET, OCLANY);
056: CollectionSort SET_OF_OCLTYPE = new CollectionSort(
057: CollectionSort.SET, OCLTYPE);
058: CollectionSort SET_OF_BOOLEAN = new CollectionSort(
059: CollectionSort.SET, BOOLEAN);
060: CollectionSort SET_OF_REAL = new CollectionSort(CollectionSort.SET,
061: REAL);
062: CollectionSort SET_OF_INTEGER = new CollectionSort(
063: CollectionSort.SET, INTEGER);
064: CollectionSort SET_OF_STRING = new CollectionSort(
065: CollectionSort.SET, STRING);
066: CollectionSort SET_OF_CLASSIFIER = new CollectionSort(
067: CollectionSort.SET, CLASSIFIER);
068:
069: CollectionSort BAG_OF_OCLGENERIC = new CollectionSort(
070: CollectionSort.BAG, OCLGENERIC);
071: CollectionSort BAG_OF_OCLANY = new CollectionSort(
072: CollectionSort.BAG, OCLANY);
073: CollectionSort BAG_OF_OCLTYPE = new CollectionSort(
074: CollectionSort.BAG, OCLTYPE);
075: CollectionSort BAG_OF_BOOLEAN = new CollectionSort(
076: CollectionSort.BAG, BOOLEAN);
077: CollectionSort BAG_OF_REAL = new CollectionSort(CollectionSort.BAG,
078: REAL);
079: CollectionSort BAG_OF_INTEGER = new CollectionSort(
080: CollectionSort.BAG, INTEGER);
081: CollectionSort BAG_OF_STRING = new CollectionSort(
082: CollectionSort.BAG, STRING);
083: CollectionSort BAG_OF_CLASSIFIER = new CollectionSort(
084: CollectionSort.BAG, CLASSIFIER);
085:
086: CollectionSort SEQUENCE_OF_OCLGENERIC = new CollectionSort(
087: CollectionSort.SEQUENCE, OCLGENERIC);
088: CollectionSort SEQUENCE_OF_OCLANY = new CollectionSort(
089: CollectionSort.SEQUENCE, OCLANY);
090: CollectionSort SEQUENCE_OF_OCLTYPE = new CollectionSort(
091: CollectionSort.SEQUENCE, OCLTYPE);
092: CollectionSort SEQUENCE_OF_BOOLEAN = new CollectionSort(
093: CollectionSort.SEQUENCE, BOOLEAN);
094: CollectionSort SEQUENCE_OF_REAL = new CollectionSort(
095: CollectionSort.SEQUENCE, REAL);
096: CollectionSort SEQUENCE_OF_INTEGER = new CollectionSort(
097: CollectionSort.SEQUENCE, INTEGER);
098: CollectionSort SEQUENCE_OF_STRING = new CollectionSort(
099: CollectionSort.SEQUENCE, STRING);
100: CollectionSort SEQUENCE_OF_CLASSIFIER = new CollectionSort(
101: CollectionSort.SEQUENCE, CLASSIFIER);
102: }
|