Model FiacreInstance

This model description is not a real EMF artifact. It was generated by the
org.eclipse.emf.examples.generator.validator plug-in to illustrate how EMF's
code generator can be extended.
This can be disabled with -vmargs -Dorg.eclipse.emf.examples.generator.validator=false.

Package fiacreinstance <http://fiacreinstance/1.0>

  Class InstanceModel
    Attribute name : EString
    Reference model : Model<<1..1>>
    Reference instance : DeclarationInstance<<1..1>>
    Reference statementBlocks : StatementBlock<<0..*>>

  Class StatementBlock
    Reference instanceStatementBlocks : InstanceStatementBlock<<1..*>>
    Attribute name : EString

  Class ExecutedStatementBlock -> StatementBlock

  Class ExecutableStatementBlock -> StatementBlock
    Attribute date : EString

  Class FireableStatementBlock -> ExecutableStatementBlock

  Class EnabledStatementBlock -> ExecutableStatementBlock

  Class BlockInstance
    Reference blockInstances : BlockInstance<<0..*>>

  Class CompositionInstance -> BlockInstance
    Reference composition : Composition

  Class DeclarationInstance -> BlockInstance
    Reference variableDeclarationInstances : VariableDeclarationInstance<<0..*>>
    Attribute name : EString<<1..1>>
    Reference instance : ComponentInstance

  Class ComponentDeclarationInstance -> DeclarationInstance
    Reference component : ComponentDeclaration<<1..1>>

  Class ProcessDeclarationInstance -> DeclarationInstance
    Reference currentState : StateDeclaration
    Reference process : ProcessDeclaration<<1..1>>
    Reference instanceStatementBlocks : InstanceStatementBlock<<0..*>>

  Class InstanceStatementBlock
    Reference transitionSource : TransitionSource<<1..1>>
    Reference statements : Statement<<0..*>>
    Attribute name : EString

  Class InstanceExecutedStatementBlock -> InstanceStatementBlock

  Class InstanceExecutableStatementBlock -> InstanceStatementBlock

  Class InstanceFireableStatementBlock -> InstanceExecutableStatementBlock

  Class InstanceEnabledStatementBlock -> InstanceExecutableStatementBlock

  Class VariableDeclarationInstance
    Reference variableDeclaration : VariableDeclaration<<1..1>>
    Reference currentValue : Expression
