SCROLL/scroll.internal.formal/CROI

CROI

trait CROI extends CROM

Representation of a Compartment Role Object Instance (CROI).

trait CROM
class Object
trait Matchable
class Any

Value members

Concrete methods

def addCompartment[T <: AnyRef : ClassTag](c: T): Unit
def addNatural(n: AnyRef): Unit
def addPlays(player: AnyRef, comp: AnyRef, role: AnyRef): Unit
def addRole(r: AnyRef): Unit
def compliant(path: String): Boolean

Inherited methods

protected
def loadModel(path: String): Resource

Load and imports an ecore model. Remember to set the path variable!

Load and imports an ecore model. Remember to set the path variable!

Value Params
path

the path to load the ecore model from

Returns

the imported model as Resource

Inherited from
ECoreImporter
def wellformed(path: String): Boolean

Checks if the loaded CROM is wellformed.

Checks if the loaded CROM is wellformed.

Value Params
path

the file path to load a CROM from

Returns

true if a model was loaded using withModel() and it is wellformed, false otherwise

Inherited from
CROM

Concrete fields

protected
val croi: FormalCROI[String, String, String, String]