ClassDefinition

org::kermeta::language::structure
Class ClassDefinition inherited from GenericTypeDefinition

The definition of a class definition :)

class A
{ 
  attribute s : String
}

is a class definition; in :


main() : A is do end

A is a Class : it corresponds to the use of the class definition of A

@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"

Property Summary

Constraint inv attribute inv[0..-1]
Invariants defined for this ClassDefinition
@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"


Boolean isAbstract attribute isAbstract[0..1]
Boolean stating whether the ClassDefinition is abstract (which means that
no instance can be allocated)
@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"


Boolean isFinal attribute isFinal[0..1]
Indicates wether this defintition can be subclassed.
This has no effect on extension via aspect weaving.
@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"


Boolean isSingleton attribute isSingleton[0..1]
Boolean stating whether the ClassDefinition is a singleton.

Note: not sure is this is the right place, maybe it can be generalized to other TypeDefinition ?
@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"


Property ownedAttribute attribute ownedAttribute[0..-1]
Attributes, References, and derived Properties owned by this ClassDefinition.
@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"


Operation ownedOperation attribute ownedOperation[0..-1]
Operations owned by this ClassDefinition.
@ecore "true"
@http://www.eclipse.org/emf/2002/GenModel "null"

Property Summary
`Constraint`	`inv attribute inv[0..-1]` Invariants defined for this ClassDefinition @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
`Boolean`	`isAbstract attribute isAbstract[0..1]` Boolean stating whether the ClassDefinition is abstract (which means that no instance can be allocated) @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
`Boolean`	`isFinal attribute isFinal[0..1]` Indicates wether this defintition can be subclassed. This has no effect on extension via aspect weaving. @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
`Boolean`	`isSingleton attribute isSingleton[0..1]` Boolean stating whether the ClassDefinition is a singleton. Note: not sure is this is the right place, maybe it can be generalized to other TypeDefinition ? @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
`Property`	`ownedAttribute attribute ownedAttribute[0..-1]` Attributes, References, and derived Properties owned by this ClassDefinition. @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"
`Operation`	`ownedOperation attribute ownedOperation[0..-1]` Operations owned by this ClassDefinition. @ecore "true" @http://www.eclipse.org/emf/2002/GenModel "null"

Details of properties

inv

Constraint inv

Constraint isReadOnly : false
default : void
isComposite : true
isDerived : false
isID : false
isGetterAbstract : true
isSetterAbstract : true

isAbstract

Boolean isAbstract

Boolean isReadOnly : false
default : void
isComposite : true
isDerived : false
isID : false
isGetterAbstract : true
isSetterAbstract : true

isFinal

Boolean isFinal

Boolean isReadOnly : false
default : void
isComposite : true
isDerived : false
isID : false
isGetterAbstract : true
isSetterAbstract : true

isSingleton

Boolean isSingleton

Boolean isReadOnly : false
default : void
isComposite : true
isDerived : false
isID : false
isGetterAbstract : true
isSetterAbstract : true

ownedAttribute

Property ownedAttribute

Property isReadOnly : false
default : void
isComposite : true
isDerived : false
isID : false
isGetterAbstract : true
isSetterAbstract : true

ownedOperation

Operation ownedOperation

Operation isReadOnly : false
default : void
isComposite : true
isDerived : false
isID : false
isGetterAbstract : true
isSetterAbstract : true