Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## ix.icore.domain
Class Domain

    java.lang.Object
      ix.icore.AbstractAnnotatedObject
          ix.icore.AbstractIXObject
              ix.icore.domain.Domain

All Implemented Interfaces:
  Annotated, Named, IXObject, java.io.Serializable, java.lang.Cloneable

    public class Domain

extends AbstractIXObject
implements Named, java.lang.Cloneable

A Domain contains descriptions of ways to refine activities by expanding them into subactivities and adding constraints.

See Also:
  Serialized Form

Field Summary
`protected java.util.Map` | `classNameMap`
`protected java.util.List` | `listeners`
`protected java.lang.String` | `name`
`protected ix.icore.domain.ListOfObjectClass` | `objectClasses`
`protected java.util.Map` | `refinementNameMap`
`protected ix.icore.domain.ListOfRefinement` | `refinements`
`protected ix.icore.domain.ListOfVariableDeclaration` | `variableDeclarations`

Fields inherited from class ix.icore.AbstractAnnotatedObject
`annotationListeners, annotations`

Constructor Summary
`Domain()`

Method Summary
`void` | `addDomainListener(DomainListener listener)`
`void` | `addObjectClass(ObjectClass c)`
`void` | `addRefinement(Refinement r)`
`void` | `analyseDomain()`
`void` | `checkConsistency()` Checks the consistency of this domain.
`void` | `clear()`
`java.lang.Object` | `clone()`
`void` | `deleteNamedObjectClass(java.lang.String name)`
`void` | `deleteNamedRefinement(java.lang.String name)`
`void` | `deleteObjectClass(ObjectClass c)`
`void` | `deleteRefinement(Refinement r)`
`void` | `fireRefinementAdded(Refinement r)`
`java.lang.String` | `getName()`
`ObjectClass` | `getNamedObjectClass(java.lang.String name)`
`Refinement` | `getNamedRefinement(java.lang.String name)`
`ix.icore.domain.ListOfObjectClass` | `getObjectClasses()`
`ix.icore.domain.ListOfRefinement` | `getRefinements()`
`ix.icore.domain.ListOfVariableDeclaration` | `getVariableDeclarations()`
`boolean` | `isEmpty()`
`void` | `replaceNamedRefinement(java.lang.String name, Refinement replacement)`
`void` | `replaceObjectClass(ObjectClass old, ObjectClass neu)`
`void` | `replaceRefinement(Refinement old, Refinement neu)`
`void` | `setName(java.lang.String name)`
`void` | `setObjectClasses(java.util.List classes)`
`void` | `setObjectClasses(ix.icore.domain.ListOfObjectClass classes)`
`void` | `setRefinements(java.util.List refinements)`
`void` | `setRefinements(ix.icore.domain.ListOfRefinement refinements)`
`void` | `setVariableDeclarations(ix.icore.domain.ListOfVariableDeclaration variableDeclarations)`
`void` | `takeFrom(Domain other)` Merges another domain into this one.
`java.lang.String` | `toString()`

Methods inherited from class ix.icore.AbstractAnnotatedObject
`addAnnotationListener, annMap, clearAnnotations, fireSetAnnotation, getAnnotation, getAnnotations, getComments, makeAnnMap, removeAnnotation, setAnnotation, setAnnotations, setComments, takeAnnotations`

Methods inherited from class java.lang.Object
`equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Methods inherited from interface ix.icore.Annotated
`addAnnotationListener, clearAnnotations, fireSetAnnotation, getAnnotation, getAnnotations, removeAnnotation, setAnnotation, setAnnotations, takeAnnotations`

Field Detail

### name

    protected java.lang.String name

### variableDeclarations

    protected ix.icore.domain.ListOfVariableDeclaration variableDeclarations

### refinements

    protected ix.icore.domain.ListOfRefinement refinements

### objectClasses

    protected ix.icore.domain.ListOfObjectClass objectClasses

### listeners

    protected java.util.List listeners

### refinementNameMap

    protected java.util.Map refinementNameMap

### classNameMap

    protected java.util.Map classNameMap

Constructor Detail

### Domain

    public Domain()

Method Detail

### getName

    public java.lang.String getName()

  Specified by:
    `getName` in interface `Named`

### setName

    public void setName(java.lang.String name)

### isEmpty

    public boolean isEmpty()

### clear

    public void clear()

### getVariableDeclarations

    public ix.icore.domain.ListOfVariableDeclaration getVariableDeclarations()

### setVariableDeclarations

    public void setVariableDeclarations(ix.icore.domain.ListOfVariableDeclaration variableDeclarations)

### getRefinements

    public ix.icore.domain.ListOfRefinement getRefinements()

### setRefinements

    public void setRefinements(ix.icore.domain.ListOfRefinement refinements)

### setRefinements

    public void setRefinements(java.util.List refinements)

### getNamedRefinement

    public Refinement getNamedRefinement(java.lang.String name)

### addRefinement

    public void addRefinement(Refinement r)

### deleteNamedRefinement

    public void deleteNamedRefinement(java.lang.String name)

### deleteRefinement

    public void deleteRefinement(Refinement r)

### replaceNamedRefinement

    public void replaceNamedRefinement(java.lang.String name,
                                       Refinement replacement)

### replaceRefinement

    public void replaceRefinement(Refinement old,
                                  Refinement neu)

### getObjectClasses

    public ix.icore.domain.ListOfObjectClass getObjectClasses()

### setObjectClasses

    public void setObjectClasses(ix.icore.domain.ListOfObjectClass classes)

### setObjectClasses

    public void setObjectClasses(java.util.List classes)

### getNamedObjectClass

    public ObjectClass getNamedObjectClass(java.lang.String name)

### addObjectClass

    public void addObjectClass(ObjectClass c)

### deleteNamedObjectClass

    public void deleteNamedObjectClass(java.lang.String name)

### deleteObjectClass

    public void deleteObjectClass(ObjectClass c)

### replaceObjectClass

    public void replaceObjectClass(ObjectClass old,
                                   ObjectClass neu)

### addDomainListener

    public void addDomainListener(DomainListener listener)

### fireRefinementAdded

    public void fireRefinementAdded(Refinement r)

### takeFrom

    public void takeFrom(Domain other)

  Merges another domain into this one.

### analyseDomain

    public void analyseDomain()

### checkConsistency

    public void checkConsistency()

  Checks the consistency of this domain. This method calls the `Refinement.checkConsistency()` method of each refinement, catches and remembers any `SyntaxException`s that are thrown, and, if there were any exceptions, throws a combined SyntaxException that describes them all.

  Throws:
    `SyntaxException` - if there are unused or undeclared variables or if any constraint refers to a nonexistent node.

### clone

    public java.lang.Object clone()
                           throws java.lang.CloneNotSupportedException

  Overrides:
    `clone` in class `java.lang.Object`
  Throws:
    `java.lang.CloneNotSupportedException`

### toString

    public java.lang.String toString()

  Overrides:
    `toString` in class `java.lang.Object`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD