Inheritance diagram for metadone.metabusiness.impl.ConcreteModel_impl:

[legend]

Collaboration diagram for metadone.metabusiness.impl.ConcreteModel_impl:

[legend]

Public Member Functions
	ConcreteModel_impl (K_Object target) throws BadPreCondition
ConcreteObject_impl	createObject (MetaObject metaobject) throws BadPreCondition
ConcreteDef	addInDefinition (ConcreteObject concreteobject) throws BadPreCondition
boolean	removeFromDefinition (ConcreteObject object) throws BadPreCondition
boolean	isInDefinition (ConcreteObject object) throws BadPreCondition
boolean	isInDefinition (MetaModel metamodel, ConcreteObject object) throws BadPreCondition
Set< ConcreteObject >	getDefinition (MetaModel metamodel) throws BadPreCondition
Set< ConcreteObject >	getDefinition () throws BadPreCondition
Set< ConcreteObject >	getDefinitionRestricted (MetaObject restriction) throws BadPreCondition
ConcreteDef	getMembership (ConcreteObject object) throws BadPreCondition
ConcreteDef	getMembership (MetaModel metamodel, ConcreteObject object) throws BadPreCondition
Set< ConcreteDef >	getMemberships (MetaModel metamodel) throws BadPreCondition
ConcreteRole_impl	createRole (MetaRole mr, ConcreteObject domain, ConcreteObject range) throws BadPreCondition
ConcreteRole	createRole (MetaRole mr, ConcreteObject domain, ConcreteObject range, FirstLastMode wheredomain, ConcreteRole previousd, FirstLastMode whererange, ConcreteRole previousr) throws BadPreCondition
ConcreteModel	createModel (MetaModel metamodel) throws BadPreCondition
Private Member Functions
ConcreteObject_impl	_createObject (MetaObject_impl metaobject)
ConcreteDef_impl	_addInDefinition (ConcreteObject concreteobject)
boolean	_isInDefinition (ConcreteObject_impl member)
boolean	someParentIsDef (K_Property candidate) throws BadPreCondition
final Set< ConcreteObject >	_getDefinition (MetaModel metamodel)
final Set< ConcreteObject >	_getDefinitionRestricted (MetaObject restriction)
ConcreteRole_impl	_createRole (MetaRole_impl mr, ConcreteObject_impl domain, ConcreteObject_impl range)
void	precondition_createRole (MetaRole_impl mr, ConcreteObject_impl domain, ConcreteObject_impl range) throws BadPreCondition
ConcreteRole_impl	_createRole (MetaRole_impl mr, ConcreteObject_impl domain, ConcreteObject_impl range, FirstLastMode wheredomain, ConcreteRole_impl previousd, FirstLastMode whererange, ConcreteRole_impl previousr)
Static Private Member Functions
static boolean	isOrdered (MetaRole mr) throws BadPreCondition
static metadone.repository.kernel.K_PropertyType.FirstLastMode	convertWhere (FirstLastMode fl)
static FirstLastMode	defaultMode (boolean last)

Detailed Description

This class denotes instances of MetaModels. For example, if STATECHART is a metamodel, then COFEEMACHINE could be a ConcreteModel.

Author:: ven

Date=06-fevr.-2006 - 15:45:39 Filename = ConcreteModel.java

Constructor & Destructor Documentation

metadone.metabusiness.impl.ConcreteModel_impl.ConcreteModel_impl ( K_Object target ) throws BadPreCondition

References metadone.metabusiness.impl.ConcreteObject_impl.target.

Member Function Documentation

ConcreteDef_impl metadone.metabusiness.impl.ConcreteModel_impl._addInDefinition ( ConcreteObject concreteobject ) [private]

References metadone.metabusiness.impl.ConcreteModel_impl._isInDefinition(), metadone.repository.kernel.K_PropertyType.createProperty(), metadone.metabusiness.impl.Workspace_impl.getDef_pt(), metadone.metabusiness.impl.ConcreteObject_impl.getTarget(), metadone.metabusiness.impl.WorkspaceObject_impl.getWorkspace(), and metadone.metabusiness.WorkspaceObject.narrow().

Referenced by metadone.metabusiness.impl.ConcreteModel_impl.addInDefinition().

ConcreteObject_impl metadone.metabusiness.impl.ConcreteModel_impl._createObject ( MetaObject_impl metaobject ) [private]

References metadone.metabusiness.impl.FactoryOfProxy.buildConcreteObject(), metadone.repository.kernel.K_ObjectType.createObject(), metadone.repository.kernel.K_PropertyType.createProperty(), metadone.metabusiness.impl.Workspace_impl.getDef_pt(), metadone.metabusiness.impl.ConcreteObject_impl.getTarget(), metadone.metabusiness.impl.MetaObject_impl.getTarget(), and metadone.metabusiness.impl.WorkspaceObject_impl.workspace.

Referenced by metadone.metabusiness.impl.ConcreteModel_impl.createObject().

ConcreteRole_impl metadone.metabusiness.impl.ConcreteModel_impl._createRole	(	MetaRole_impl	mr,
		ConcreteObject_impl	domain,
		ConcreteObject_impl	range
	)		`[private]`

References metadone.metabusiness.impl.ConcreteModel_impl.addInDefinition(), metadone.metabusiness.impl.FactoryOfProxy.buildConcreteRole(), metadone.repository.kernel.K_ObjectType.createObject(), metadone.repository.kernel.K_PropertyType.createProperty(), metadone.repository.kernel.K_Common.getDataObject(), metadone.metabusiness.impl.MetaRole_impl.getMetaroleType(), metadone.metabusiness.impl.ConcreteObject_impl.getTarget(), and metadone.metabusiness.impl.MetaObject_impl.getTarget().

Referenced by metadone.metabusiness.impl.ConcreteModel_impl.createRole().

ConcreteRole_impl metadone.metabusiness.impl.ConcreteModel_impl._createRole	(	MetaRole_impl	mr,
		ConcreteObject_impl	domain,
		ConcreteObject_impl	range,
		FirstLastMode	wheredomain,
		ConcreteRole_impl	previousd,
		FirstLastMode	whererange,
		ConcreteRole_impl	previousr
	)		`[private]`

References metadone.metabusiness.impl.ConcreteModel_impl.addInDefinition(), metadone.metabusiness.impl.FactoryOfProxy.buildConcreteRole(), metadone.metabusiness.impl.ConcreteModel_impl.convertWhere(), metadone.repository.kernel.K_ObjectType.createObject(), metadone.repository.kernel.K_PropertyType.createProperty(), metadone.repository.kernel.K_Common.getDataObject(), metadone.metabusiness.impl.MetaRole_impl.getMetaroleType(), metadone.metabusiness.impl.ConcreteObject_impl.getTarget(), metadone.metabusiness.impl.MetaObject_impl.getTarget(), and metadone.repository.kernel.DataObject.narrow_K_Property().

final Set<ConcreteObject> metadone.metabusiness.impl.ConcreteModel_impl._getDefinition ( MetaModel metamodel ) [private]

References metadone.metabusiness.impl.FactoryOfProxy.buildConcreteObject(), metadone.metabusiness.MetaModel.getMetaObjectsInDefinition(), metadone.metabusiness.impl.ConcreteObject_impl.getTarget(), metadone.metabusiness.ConcreteObject.getTypes(), metadone.metabusiness.impl.WorkspaceObject_impl.getWorkspace(), and metadone.util.SetUtil.isDisjoined().

Referenced by metadone.metabusiness.impl.ConcreteModel_impl.getDefinition().

final Set<ConcreteObject> metadone.metabusiness.impl.ConcreteModel_impl._getDefinitionRestricted ( MetaObject restriction ) [private]

Parameters:

restriction

Returns:

Exceptions:

BadFacet
BadPreCondition

References metadone.metabusiness.impl.FactoryOfProxy.buildConcreteObject(), metadone.repository.kernel.K_Object.getRangeOfAsObject(), metadone.metabusiness.impl.MetaObject_impl.getTarget(), metadone.metabusiness.impl.ConcreteObject_impl.getTarget(), metadone.metabusiness.impl.WorkspaceObject_impl.getWorkspace(), and metadone.metabusiness.WorkspaceObject.narrow().

Referenced by metadone.metabusiness.impl.ConcreteModel_impl.getDefinitionRestricted().

boolean metadone.metabusiness.impl.ConcreteModel_impl._isInDefinition ( ConcreteObject_impl member ) [private]

References metadone.metabusiness.impl.ConcreteObject_impl.getTarget(), and metadone.metabusiness.impl.ConcreteModel_impl.someParentIsDef().

Referenced by metadone.metabusiness.impl.ConcreteModel_impl._addInDefinition(), and metadone.metabusiness.impl.ConcreteModel_impl.isInDefinition().

ConcreteDef metadone.metabusiness.impl.ConcreteModel_impl.addInDefinition ( ConcreteObject object ) throws BadPreCondition

Adds the specified ConcreteObject in the definition of 'this'.

Parameters:

object The ConcreteObject to add in the definition of this ConcreteModel

Returns:: The concrete definition

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.ConcreteModel_impl._addInDefinition(), and metadone.exception.NullArgument.check().

Referenced by metadone.metabusiness.impl.ConcreteModel_impl._createRole().

static metadone.repository.kernel.K_PropertyType.FirstLastMode metadone.metabusiness.impl.ConcreteModel_impl.convertWhere ( FirstLastMode fl ) [static, private]

Referenced by metadone.metabusiness.impl.ConcreteModel_impl._createRole().

ConcreteModel metadone.metabusiness.impl.ConcreteModel_impl.createModel ( MetaModel metamodel ) throws BadPreCondition

Creates a new ConcreteModel.

Parameters:

metamodel The metamodel to instantiate

Returns:: A new concrete model

Exceptions:

BadPreCondition

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.FactoryOfProxy.buildConcreteModel(), metadone.metabusiness.impl.ConcreteModel_impl.createObject(), and metadone.metabusiness.impl.ConcreteObject_impl.getTarget().

ConcreteObject_impl metadone.metabusiness.impl.ConcreteModel_impl.createObject ( MetaObject metaobject ) throws BadPreCondition

Creates a new ConcreteObject instance of type metaobject.

Parameters:

metaobject is the MetaObject instance typing the ConcreteObject

Returns:: The newly created ConcreteObject instance

Exceptions:

BadPreCondition

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.ConcreteModel_impl._createObject(), and metadone.exception.NullArgument.check().

Referenced by metadone.metabusiness.impl.ConcreteObject_impl.addPropertyGeneric(), metadone.metabusiness.impl.MetaObject_impl.createMetaProperty(), and metadone.metabusiness.impl.ConcreteModel_impl.createModel().

ConcreteRole_impl metadone.metabusiness.impl.ConcreteModel_impl.createRole	(	MetaRole	mr,
		ConcreteObject	domain,
		ConcreteObject	range
	)		throws BadPreCondition

Creates a ConcreteRole between two concrete objects.

If the metarole is sorted, it is added as the last element.

Parameters:

mr	The metarole
domain	is a ConcreteObject instance typed by the MetaObject specified as the domain-side of the MetaRole
range	is a ConcreteObject instance typed by the MetaObject specified as the range-side of the MetaRole

Returns:: The ConcreteRole instance created between the objects

Exceptions:

BadPreCondition If the domain or the range is null. If the domain or the range have incompatible types with the domain and the range of the MetaRole. If the cardinality is not verified.

See also:: createRole(MetaRole, ConcreteObject, ConcreteObject, FirstLastMode, ConcreteRole, FirstLastMode, ConcreteRole)

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.ConcreteModel_impl._createRole(), metadone.metabusiness.impl.ConcreteModel_impl.defaultMode(), metadone.metabusiness.impl.ConcreteModel_impl.isOrdered(), metadone.metabusiness.impl.ConcreteObject_impl.narrow(), metadone.metabusiness.impl.MetaObject_impl.narrow(), and metadone.metabusiness.impl.ConcreteModel_impl.precondition_createRole().

Referenced by metadone.metabusiness.impl.ConcreteObject_impl._sharePropertyGeneric(), metadone.metabusiness.impl.ConcreteObject_impl.addPropertyGeneric(), and metadone.metabusiness.impl.MetaObject_impl.createMetaProperty().

ConcreteRole metadone.metabusiness.impl.ConcreteModel_impl.createRole	(	MetaRole	mr,
		ConcreteObject	domain,
		ConcreteObject	range,
		FirstLastMode	wheredomain,
		ConcreteRole	previousd,
		FirstLastMode	whererange,
		ConcreteRole	previousr
	)		throws BadPreCondition

Creates a ConcreteRole between two concrete objects with the given ordering.

Parameters:

mr	The metarole
domain	is a ConcreteObject instance typed by the MetaObject specified as the domain-side of the MetaRole
range	is a ConcreteObject instance typed by the MetaObject specified as the domain-side of the MetaRole
wheredomain	Where to insert the role in the domain
afterd	The object after which insert this role or `null`
whererange	Where to intert the role in the range
afterr	The object after which insert this role or `null`

Returns:: The created range

Exceptions:

BadPreCondition

See also:: createRole(MetaRole, ConcreteObject, ConcreteObject); ConcreteRole.afterDomain(ConcreteRole); ConcreteRole.afterRange(ConcreteRole)

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.ConcreteModel_impl._createRole().

static FirstLastMode metadone.metabusiness.impl.ConcreteModel_impl.defaultMode ( boolean last ) [static, private]

Referenced by metadone.metabusiness.impl.ConcreteModel_impl.createRole().

Set<ConcreteObject> metadone.metabusiness.impl.ConcreteModel_impl.getDefinition ( ) throws BadPreCondition

Retrieves all concreteobjects that belong to the definition of 'this' metamodel.

Returns:: The set of all the metaobjects

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.FactoryOfProxy.buildConcreteObject(), metadone.repository.kernel.K_Object.getRangeOfAsObject(), metadone.metabusiness.impl.ConcreteObject_impl.getTarget(), and metadone.metabusiness.impl.WorkspaceObject_impl.getWorkspace().

Referenced by metadone.metabusiness.impl.ConcreteModel_impl.getMemberships().

Set<ConcreteObject> metadone.metabusiness.impl.ConcreteModel_impl.getDefinition ( MetaModel metamodel ) throws BadPreCondition

Retrieves all ConcreteObject instances contained in 'this'.

Parameters:

metamodel Specifies the MetaModel instance typing 'this'.

Returns:: The set of ConcreteObjects in 'this'.

Exceptions:

BadPreCondition if metamodel is null or if the concretemodel does not have this type.

See also:: getMemberships(MetaModel)

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.ConcreteModel_impl._getDefinition(), and metadone.exception.NullArgument.check().

Set<ConcreteObject> metadone.metabusiness.impl.ConcreteModel_impl.getDefinitionRestricted ( MetaObject restriction ) throws BadPreCondition

Retrieves all ConcreteObjects in 'this' typed by the given MetaObject instance.

Parameters:

restriction the MetaObject typing the wanted ConcreteObject instances. Must belong to the MetaModel that types 'this'. Can not be null.

Returns:: The set of ConcreteObjects contained in the definition of this whose type is restriction.

Exceptions:

BadPreCondition

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.ConcreteModel_impl._getDefinitionRestricted(), and metadone.exception.NullArgument.check().

ConcreteDef metadone.metabusiness.impl.ConcreteModel_impl.getMembership	(	MetaModel	metamodel,
		ConcreteObject	object
	)		throws BadPreCondition

Gets the definition of a concreteobject in this concretemodel.

Parameters:

metamodel	The metamodel. Since a concretemodel could have several metamodel types, it is necessary to precise the pertinent type.
object	The object

Returns:: The concretedef object between object and this in the given metamodel; null if mo does not belong to the definition of concretemodel

Exceptions:

BadPreCondition

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.ConcreteModel_impl.isInDefinition().

ConcreteDef metadone.metabusiness.impl.ConcreteModel_impl.getMembership ( ConcreteObject object ) throws BadPreCondition

Gets the definition of a concreteobject in this concretemodel.

Parameters:

object The object

Returns:: The concretedef object between object and this in the given metamodel; null if mo does not belong to the definition of concretemodel

Exceptions:

BadPreCondition

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.ConcreteModel_impl.isInDefinition().

Set<ConcreteDef> metadone.metabusiness.impl.ConcreteModel_impl.getMemberships ( MetaModel metamodel ) throws BadPreCondition

Gets the set of the memberships of this concretemodel

Parameters:

metamodel The metamodel. Since a concretemodel could have several metamodel types, it is necessary to precise the pertinent type.

Returns:: The set of all the ConcreteDef objects attached to the concretemodel.

Exceptions:

BadPreCondition

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.ConcreteModel_impl.getDefinition().

boolean metadone.metabusiness.impl.ConcreteModel_impl.isInDefinition ( ConcreteObject object ) throws BadPreCondition

Checks if a concrete object is defined in this concretemodel.

Parameters:

object The object

Returns:: true iff the object is in this model

Exceptions:

BadPreCondition

See also:: getMembership(ConcreteObject)

Implements metadone.metabusiness.ConcreteModel.

References metadone.metabusiness.impl.ConcreteModel_impl._isInDefinition(), metadone.exception.NullArgument.check(), and metadone.metabusiness.impl.ConcreteObject_impl.narrow().

Referenced by metadone.metabusiness.impl.MetaObject_impl.createMetaProperty(), metadone.metabusiness.impl.ConcreteModel_impl.getMembership(), and metadone.metabusiness.impl.ConcreteModel_impl.isInDefinition().

boolean metadone.metabusiness.impl.ConcreteModel_impl.isInDefinition	(	MetaModel	metamodel,
		ConcreteObject	object
	)		throws BadPreCondition

Checks if a concrete object is defined in this concretemodel.

Parameters:

metamodel	The metamodel. Since a concretemodel could have several metamodel types, it is necessary to precise the pertinent type.
object	The object

Returns:: true iff getMembership(MetaModel, ConcreteObject) does not return null

Exceptions:

BadPreCondition

See also:: getMembership(MetaModel, ConcreteObject)

Implements metadone.metabusiness.ConcreteModel.

References metadone.exception.NullArgument.check(), and metadone.metabusiness.impl.ConcreteModel_impl.isInDefinition().

static boolean metadone.metabusiness.impl.ConcreteModel_impl.isOrdered ( MetaRole mr ) throws BadPreCondition [static, private]

References metadone.util.Objects.cast(), and metadone.metabusiness.impl.Workspace_impl.isWorkspaceBootstrapped().

Referenced by metadone.metabusiness.impl.ConcreteModel_impl.createRole().

void metadone.metabusiness.impl.ConcreteModel_impl.precondition_createRole	(	MetaRole_impl	mr,
		ConcreteObject_impl	domain,
		ConcreteObject_impl	range
	)		throws BadPreCondition `[private]`

References metadone.exception.NullArgument.check().

Referenced by metadone.metabusiness.impl.ConcreteModel_impl.createRole().

boolean metadone.metabusiness.impl.ConcreteModel_impl.removeFromDefinition ( ConcreteObject object ) throws BadPreCondition

Removes the specified ConcreteObject from the definition of 'this'.

Parameters:

object The ConcreteObject to remove from the definition of this ConcreteModel

Returns:: true if the object was removed

Implements metadone.metabusiness.ConcreteModel.

References metadone.exception.NullArgument.check(), metadone.repository.kernel.K_Object.getRangeOf(), metadone.metabusiness.impl.ConcreteObject_impl.getTarget(), metadone.metabusiness.impl.ConcreteObject_impl.narrow(), and metadone.metabusiness.impl.ConcreteModel_impl.someParentIsDef().

boolean metadone.metabusiness.impl.ConcreteModel_impl.someParentIsDef ( K_Property candidate ) throws BadPreCondition [private]

Parameters:

candidate

Returns:: true if a parent (direct or indirect) denotes the workspace.getDef_pt()PropertyType.

Exceptions:

BadPreCondition

References metadone.repository.kernel.K_Property.getModel(), and metadone.metabusiness.impl.WorkspaceObject_impl.getWorkspace().

Referenced by metadone.metabusiness.impl.ConcreteModel_impl._isInDefinition(), and metadone.metabusiness.impl.ConcreteModel_impl.removeFromDefinition().

The documentation for this class was generated from the following file:

metadone_bundle_metabusiness/src/metadone/metabusiness/impl/ConcreteModel_impl.java

Public Member Functions

Private Member Functions

Static Private Member Functions

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation