Object

kermeta::standard
Class Abstract Object inherited from

@CompilerIgnore "true"
@ScalaCompilerName "k2.standard.Object"

Method Summary

Object asType(Type)

Implementation of OCL like cast. It returns self if the object object conforms to the type given as parameter.



Void checkAllInvariants()

Recursively runs checking of invariants defined for the metaclass of the Object
and its supertypes
Ignores derived attributes.



Void checkAllInvariants(Boolean)

Recursively runs checking of invariants defined for the metaclass of the Object
and its supertypes
Ignores derived attributes.



Void checkInvariant(Constraint)

Runs checking of a single invariant on the Object



Void checkInvariants()

Runs checking of invariants defined for the metaclass of the Object
Also check the multiplicity of attributes (except derived and transient attributes)



Void checkInvariants(Boolean)

Runs checking of invariants defined for the metaclass of the Object
Also check the multiplicity of attributes (except derived and transient attributes)



Object container()

Returns the Object that contains current Object, void if the Object has
no container



Resource containingResource()

Returns the Resource currently containing (directly or indirectly) the Object
or void if the object belongs to no Resource



Boolean equals(Object)

semantic equality,
if you wish to test for object identity you need to use the method oid
ex: x.oid == y.oid
by default, (ie. if not overloaded), the equals method for class Object implements
the most discriminating possible equivalence relation on objects; that is, for any non-null
reference values x and y, this method returns true if and only if x and y refer to the same
object (x.oid == y.oid has the value true).

note1: the operator == is mapped to this
note2: overloading this operation have some impact on the behavior on collection and hashtable that rely on it



Object get(Property)

Returns the instances of the given property for this Object.

Example :

class A { reference attr : String }

Using A :

operation getAProp() is do
var a : A
var s : String
var the_attr : Property init self.getMetaClass.ownedAttribute.one
s ?= a.get(the_attr)
end

The user has to cast
the result of this method according to the type and the upper multiplicity
of this property. If upper multiplicity > 1, than the effective type of the
result is a Sequence. Otherwise, the type corresponds to
the name of the given Property (i.e the type of the property instance).



Class getMetaClass()

Returns the Class object that is the metaclass of current Object



Integer hashCode()

code used in hashtable in order to identify an object in the hashtable keys
This system is similar to the hashcode used in java. Please refer to java documentation
for more information about hashcode



Object invoke(OperationOrderedCollection)


Boolean isDirectInstanceOf(Type)

Returns a Boolean stating whether the current Object is an instance of the given Class
This is the new version of the former isKindOf



Boolean isInstanceOf(Type)

Returns true if the current Object is an instance of the given type or of one of its supertypes.
For a non-transitive check, see isDirectInstanceOf.



Boolean isKindOf(Type)


Boolean isNotEqual(Object)

See kermeta::language::structure::Object.equals(Object)



Boolean isSet(Property)

True if the ~property of the object has been set



Boolean isVoid()

Returns a Boolean stating whether the Object is Void



Integer oid()

Returns the unique Oid of the Object



Void removeFromContainer()

Removes the object from its containing emfpersistence::resource and/or its containing object.



Void set(PropertyObject)

Sets the element to the ~property of the object



String toString()

Implements Object.toString()
Returns a String of form [qn:oid] where 'qn' is the qualified name of
the object type, and oid the unique ID of the object



Void unset(Property)

Remove the element set as the ~property of the object.
The isSet(~property) method will then return False

Method Summary
`Object`	`asType(Type)` Implementation of OCL like cast. It returns self if the object object conforms to the type given as parameter.
`Void`	`checkAllInvariants()` Recursively runs checking of invariants defined for the metaclass of the Object and its supertypes Ignores derived attributes.
`Void`	`checkAllInvariants(Boolean)` Recursively runs checking of invariants defined for the metaclass of the Object and its supertypes Ignores derived attributes.
`Void`	`checkInvariant(Constraint)` Runs checking of a single invariant on the Object
`Void`	`checkInvariants()` Runs checking of invariants defined for the metaclass of the Object Also check the multiplicity of attributes (except derived and transient attributes)
`Void`	`checkInvariants(Boolean)` Runs checking of invariants defined for the metaclass of the Object Also check the multiplicity of attributes (except derived and transient attributes)
`Object`	`container()` Returns the Object that contains current Object, void if the Object has no container
`Resource`	`containingResource()` Returns the Resource currently containing (directly or indirectly) the Object or void if the object belongs to no Resource
`Boolean`	`equals(Object)` semantic equality, if you wish to test for object identity you need to use the method oid ex: x.oid == y.oid by default, (ie. if not overloaded), the equals method for class Object implements the most discriminating possible equivalence relation on objects; that is, for any non-null reference values x and y, this method returns true if and only if x and y refer to the same object (x.oid == y.oid has the value true). note1: the operator == is mapped to this note2: overloading this operation have some impact on the behavior on collection and hashtable that rely on it
`Object`	`get(Property)` Returns the instances of the given property for this Object. Example : class A { reference attr : String } Using A : operation getAProp() is do var a : A var s : String var the_attr : Property init self.getMetaClass.ownedAttribute.one s ?= a.get(the_attr) end The user has to cast the result of this method according to the type and the upper multiplicity of this property. If upper multiplicity > 1, than the effective type of the result is a Sequence. Otherwise, the type corresponds to the name of the given Property (i.e the type of the property instance).
`Class`	`getMetaClass()` Returns the Class object that is the metaclass of current Object
`Integer`	`hashCode()` code used in hashtable in order to identify an object in the hashtable keys This system is similar to the hashcode used in java. Please refer to java documentation for more information about hashcode
`Object`	`invoke(OperationOrderedCollection)`
`Boolean`	`isDirectInstanceOf(Type)` Returns a Boolean stating whether the current Object is an instance of the given Class This is the new version of the former isKindOf
`Boolean`	`isInstanceOf(Type)` Returns true if the current Object is an instance of the given type or of one of its supertypes. For a non-transitive check, see isDirectInstanceOf.
`Boolean`	`isKindOf(Type)`
`Boolean`	`isNotEqual(Object)` See kermeta::language::structure::Object.equals(Object)
`Boolean`	`isSet(Property)` True if the `~property` of the object has been set
`Boolean`	`isVoid()` Returns a Boolean stating whether the Object is Void
`Integer`	`oid()` Returns the unique Oid of the Object
`Void`	`removeFromContainer()` Removes the object from its containing emfpersistence::resource and/or its containing object.
`Void`	`set(PropertyObject)` Sets the `element` to the `~property` of the object
`String`	`toString()` Implements Object.toString() Returns a String of form [qn:oid] where 'qn' is the qualified name of the object type, and oid the unique ID of the object
`Void`	`unset(Property)` Remove the element set as the `~property` of the object. The `isSet(~property)` method will then return False

Details of operations

asType

Object asType[(Type)

Implementation of OCL like cast. It returns self if the object object conforms to the type given as parameter.

@traceability_text_reference "file:/mnt/extradisk/builds/workspace/org.kermeta.language.library_master/org/kermeta/language/org.kermeta.language.library.standard/src/main/kmt/kermeta/standard/baseType.kmt;6066;6114"
@CompilerIgnore "true"

checkAllInvariants

Void checkAllInvariants[()

Recursively runs checking of invariants defined for the metaclass of the Object
and its supertypes
Ignores derived attributes.

checkAllInvariants

Void checkAllInvariants[(Boolean)

Recursively runs checking of invariants defined for the metaclass of the Object
and its supertypes
Ignores derived attributes.

checkInvariant

Void checkInvariant[(Constraint)

Runs checking of a single invariant on the Object

checkInvariants

Void checkInvariants[()

Runs checking of invariants defined for the metaclass of the Object
Also check the multiplicity of attributes (except derived and transient attributes)

checkInvariants

Void checkInvariants[(Boolean)

Runs checking of invariants defined for the metaclass of the Object
Also check the multiplicity of attributes (except derived and transient attributes)

container

Object container[()


 Returns the Object that contains current Object, void if the Object has
 no container
@traceability_text_reference "file:/mnt/extradisk/builds/workspace/org.kermeta.language.library_master/org/kermeta/language/org.kermeta.language.library.standard/src/main/kmt/kermeta/standard/baseType.kmt;815;856"

@CompilerIgnore "true"

containingResource

Resource containingResource[()


 Returns the Resource currently containing (directly or indirectly) the Object 
 or void if the object belongs to no Resource
@traceability_text_reference "file:/mnt/extradisk/builds/workspace/org.kermeta.language.library_master/org/kermeta/language/org.kermeta.language.library.standard/src/main/kmt/kermeta/standard/baseType.kmt;6535;6611"

@CompilerIgnore "true"

equals

Boolean equals[(Object)


 semantic equality,
 if you wish to test for object identity you need to use the method oid
 ex: x.oid == y.oid
 by default, (ie. if not overloaded), the equals method for class Object implements 
 the most discriminating possible equivalence relation on objects; that is, for any non-null 
 reference values x and y, this method returns true if and only if x and y refer to the same 
 object (x.oid == y.oid has the value true). 

 note1: the operator == is mapped to this 
 note2: overloading this operation have some impact on the behavior on collection and hashtable that rely on it
@traceability_text_reference "file:/mnt/extradisk/builds/workspace/org.kermeta.language.library_master/org/kermeta/language/org.kermeta.language.library.standard/src/main/kmt/kermeta/standard/baseType.kmt;2858;2913"

@CompilerIgnore "true"

get

Object get[(Property)

 
 Returns the instances of the given property for this Object.

 Example : 
 

 class A { reference attr : String }
 

 Using A :
 
 operation getAProp() is do
    var a : A
    var s : String
    var the_attr : Property init self.getMetaClass.ownedAttribute.one
    s ?= a.get(the_attr)
 end
 

 The user has to cast
 the result of this method according to the type and the upper multiplicity
 of this property. If upper multiplicity > 1, than the effective type of the 
 result is a Sequence. Otherwise, the type corresponds to 
 the name of the given Property (i.e the type of the property instance).
@traceability_text_reference "file:/mnt/extradisk/builds/workspace/org.kermeta.language.library_master/org/kermeta/language/org.kermeta.language.library.standard/src/main/kmt/kermeta/standard/baseType.kmt;4214;4269"

@CompilerIgnore "true"

getMetaClass

Class getMetaClass[()

Returns the Class object that is the metaclass of current Object

hashCode

Integer hashCode[()

code used in hashtable in order to identify an object in the hashtable keys
This system is similar to the hashcode used in java. Please refer to java documentation
for more information about hashcode

invoke

Object invoke[(OperationOrderedCollection)

@traceability_text_reference "file:/mnt/extradisk/builds/workspace/org.kermeta.language.library_master/org/kermeta/language/org.kermeta.language.library.standard/src/main/kmt/kermeta/standard/baseType.kmt;6640;6720"

@CompilerIgnore "true"

isDirectInstanceOf

Boolean isDirectInstanceOf[(Type)

Returns a Boolean stating whether the current Object is an instance of the given Class
This is the new version of the former isKindOf

isInstanceOf

Boolean isInstanceOf[(Type)

Returns true if the current Object is an instance of the given type or of one of its supertypes.
For a non-transitive check, see isDirectInstanceOf.

isKindOf

Boolean isKindOf[(Type)

@traceability_text_reference "file:/mnt/extradisk/builds/workspace/org.kermeta.language.library_master/org/kermeta/language/org.kermeta.language.library.standard/src/main/kmt/kermeta/standard/baseType.kmt;3425;3476"

@CompilerIgnore "true"

@Deprecated "Operation isKindOf is deprecated, use isDirectInstanceOf instead"

isNotEqual

Boolean isNotEqual[(Object)

See kermeta::language::structure::Object.equals(Object)

isSet

Boolean isSet[(Property)

True if the ~property of the object has been set

isVoid

Boolean isVoid[()

Returns a Boolean stating whether the Object is Void

oid

Integer oid[()

Returns the unique Oid of the Object

removeFromContainer

Void removeFromContainer[()

Removes the object from its containing emfpersistence::resource and/or its containing object.

set

Void set[(PropertyObject)

Sets the element to the ~property of the object

toString

String toString[()

Implements Object.toString()
Returns a String of form [qn:oid] where 'qn' is the qualified name of
the object type, and oid the unique ID of the object

unset

Void unset[(Property)


 Remove the element set as the ~property of the object.
 The isSet(~property) method will then return False
@traceability_text_reference "file:/mnt/extradisk/builds/workspace/org.kermeta.language.library_master/org/kermeta/language/org.kermeta.language.library.standard/src/main/kmt/kermeta/standard/baseType.kmt;4801;4856"

@CompilerIgnore "true"

kermeta::standard Class Abstract Object inherited from

asType

checkAllInvariants

checkAllInvariants

checkInvariant

checkInvariants

checkInvariants

container

containingResource

equals

get

getMetaClass

hashCode

invoke

isDirectInstanceOf

isInstanceOf

isKindOf

isNotEqual

isSet

isVoid

oid

removeFromContainer

set

toString

unset

kermeta::standard
Class Abstract Object inherited from