public interface TracePackage
extends org.eclipse.emf.ecore.EPackage
TraceFactory| Modifier and Type | Interface and Description |
|---|---|
static interface |
TracePackage.Literals
Defines literals for the meta objects that represent
each class,
each feature of each class,
each enum,
and each data type
|
| Modifier and Type | Field and Description |
|---|---|
static int |
ASSERTION_STATE
The meta object id for the '
Assertion State' class |
static int |
ASSERTION_STATE__IS_VIOLATED
The feature id for the 'Is Violated' attribute
|
static int |
ASSERTION_STATE__REFERED_ELEMENT
The feature id for the 'Refered Element' reference
|
static int |
ASSERTION_STATE_FEATURE_COUNT
The number of structural features of the 'Assertion State' class
|
static int |
CONSTRAINT_STATE
The meta object id for the '
Constraint State' class |
static int |
CONSTRAINT_STATE__INTERNAL_VALUE
The feature id for the 'Internal Value' attribute
|
static int |
CONSTRAINT_STATE__REFERED_ELEMENT
The feature id for the 'Refered Element' reference
|
static int |
CONSTRAINT_STATE_FEATURE_COUNT
The number of structural features of the 'Constraint State' class
|
static int |
DISCRETIZED_CLOCK_STEP
The meta object id for the '
Discretized Clock Step' class |
static int |
DISCRETIZED_CLOCK_STEP__CORRESPONDING_LOGICAL_STEP
The feature id for the 'Corresponding Logical Step' reference
|
static int |
DISCRETIZED_CLOCK_STEP__TIMESTAMP
The feature id for the 'Timestamp' attribute
|
static int |
DISCRETIZED_CLOCK_STEP_FEATURE_COUNT
The number of structural features of the 'Discretized Clock Step' class
|
static TracePackage |
eINSTANCE
The singleton instance of the package
|
static int |
ENABLE_STATE_KIND
The meta object id for the '
Enable State Kind' enum |
static java.lang.String |
eNAME
The package name
|
static java.lang.String |
eNS_PREFIX
The package namespace name
|
static java.lang.String |
eNS_URI
The package namespace URI
|
static int |
EVENT_OCCURRENCE
The meta object id for the '
Event Occurrence' class |
static int |
EVENT_OCCURRENCE__CONTEXT
The feature id for the 'Context' reference
|
static int |
EVENT_OCCURRENCE__COUNTER
The feature id for the 'Counter' attribute
|
static int |
EVENT_OCCURRENCE__ESTATE
The feature id for the 'EState' attribute
|
static int |
EVENT_OCCURRENCE__FSTATE
The feature id for the 'FState' attribute
|
static int |
EVENT_OCCURRENCE__IS_CLOCK_DEAD
The feature id for the 'Is Clock Dead' attribute
|
static int |
EVENT_OCCURRENCE__REFERED_ELEMENT
The feature id for the 'Refered Element' reference
|
static int |
EVENT_OCCURRENCE__WAS_BORN
The feature id for the 'Was Born' attribute
|
static int |
EVENT_OCCURRENCE_FEATURE_COUNT
The number of structural features of the 'Event Occurrence' class
|
static int |
FIRED_STATE_KIND
The meta object id for the '
Fired State Kind' enum |
static int |
INTER_DISCRETIZED_STEPS
The meta object id for the '
Inter Discretized Steps' class |
static int |
INTER_DISCRETIZED_STEPS__CORRESPONDING_LOGICAL_STEPS
The feature id for the 'Corresponding Logical Steps' reference list
|
static int |
INTER_DISCRETIZED_STEPS__NEXT_FIX_STEP
The feature id for the 'Next Fix Step' reference
|
static int |
INTER_DISCRETIZED_STEPS__PREVIOUS_FIX_STEP
The feature id for the 'Previous Fix Step' reference
|
static int |
INTER_DISCRETIZED_STEPS_FEATURE_COUNT
The number of structural features of the 'Inter Discretized Steps' class
|
static int |
LOGICAL_STEP
The meta object id for the '
Logical Step' class |
static int |
LOGICAL_STEP__ASSERTION_STATES
The feature id for the 'Assertion States' containment reference list
|
static int |
LOGICAL_STEP__CONSTRAINT_STATES
The feature id for the 'Constraint States' containment reference list
|
static int |
LOGICAL_STEP__EVENT_OCCURRENCES
The feature id for the 'Event Occurrences' containment reference list
|
static int |
LOGICAL_STEP__NEXT_STEP
The feature id for the 'Next Step' reference
|
static int |
LOGICAL_STEP__PREVIOUS_STEP
The feature id for the 'Previous Step' reference
|
static int |
LOGICAL_STEP__STEP_NUMBER
The feature id for the 'Step Number' attribute
|
static int |
LOGICAL_STEP_FEATURE_COUNT
The number of structural features of the 'Logical Step' class
|
static int |
MODEL_ELEMENT_REFERENCE
The meta object id for the '
Model Element Reference' class |
static int |
MODEL_ELEMENT_REFERENCE__ELEMENT_REF
The feature id for the 'Element Ref' reference list
|
static int |
MODEL_ELEMENT_REFERENCE_FEATURE_COUNT
The number of structural features of the 'Model Element Reference' class
|
static int |
NAMED_REFERENCE
The meta object id for the '
Named Reference' class |
static int |
NAMED_REFERENCE__VALUE
The feature id for the 'Value' attribute
|
static int |
NAMED_REFERENCE_FEATURE_COUNT
The number of structural features of the 'Named Reference' class
|
static int |
PHYSICAL_BASE
The meta object id for the '
Physical Base' class |
static int |
PHYSICAL_BASE__OFFSET
The feature id for the 'Offset' attribute
|
static int |
PHYSICAL_BASE__PHYSICAL_STEPS
The feature id for the 'Physical Steps' containment reference list
|
static int |
PHYSICAL_BASE__RELATED_DENSE_CLOCK
The feature id for the 'Related Dense Clock' containment reference
|
static int |
PHYSICAL_BASE_FEATURE_COUNT
The number of structural features of the 'Physical Base' class
|
static int |
PHYSICAL_STEPS
The meta object id for the '
Physical Steps' class |
static int |
PHYSICAL_STEPS_FEATURE_COUNT
The number of structural features of the 'Physical Steps' class
|
static int |
REFERENCE
The meta object id for the '
Reference' class |
static int |
REFERENCE_FEATURE_COUNT
The number of structural features of the 'Reference' class
|
static int |
STATE
The meta object id for the '
State' class |
static int |
STATE__REFERED_ELEMENT
The feature id for the 'Refered Element' reference
|
static int |
STATE_FEATURE_COUNT
The number of structural features of the 'State' class
|
static int |
TRACE
The meta object id for the '
Trace' class |
static int |
TRACE__AUTHOR
The feature id for the 'Author' attribute
|
static int |
TRACE__DATE
The feature id for the 'Date' attribute
|
static int |
TRACE__DOCUMENTATION
The feature id for the 'Documentation' attribute
|
static int |
TRACE__LOGICAL_STEPS
The feature id for the 'Logical Steps' containment reference list
|
static int |
TRACE__NAME
The feature id for the 'Name' attribute
|
static int |
TRACE__PHYSICAL_BASES
The feature id for the 'Physical Bases' containment reference list
|
static int |
TRACE__REFERENCES
The feature id for the 'References' containment reference list
|
static int |
TRACE_FEATURE_COUNT
The number of structural features of the 'Trace' class
|
| Modifier and Type | Method and Description |
|---|---|
org.eclipse.emf.ecore.EAttribute |
getAssertionState_IsViolated()
Returns the meta object for the attribute '
Is Violated' |
org.eclipse.emf.ecore.EClass |
getAssertionState()
Returns the meta object for class '
Assertion State' |
org.eclipse.emf.ecore.EAttribute |
getConstraintState_InternalValue()
Returns the meta object for the attribute '
Internal Value' |
org.eclipse.emf.ecore.EClass |
getConstraintState()
Returns the meta object for class '
Constraint State' |
org.eclipse.emf.ecore.EReference |
getDiscretizedClockStep_CorrespondingLogicalStep()
Returns the meta object for the reference '
Corresponding Logical Step' |
org.eclipse.emf.ecore.EAttribute |
getDiscretizedClockStep_Timestamp()
Returns the meta object for the attribute '
Timestamp' |
org.eclipse.emf.ecore.EClass |
getDiscretizedClockStep()
Returns the meta object for class '
Discretized Clock Step' |
org.eclipse.emf.ecore.EEnum |
getEnableStateKind()
Returns the meta object for enum '
Enable State Kind' |
org.eclipse.emf.ecore.EReference |
getEventOccurrence_Context()
Returns the meta object for the reference '
Context' |
org.eclipse.emf.ecore.EAttribute |
getEventOccurrence_Counter()
Returns the meta object for the attribute '
Counter' |
org.eclipse.emf.ecore.EAttribute |
getEventOccurrence_EState()
Returns the meta object for the attribute '
EState' |
org.eclipse.emf.ecore.EAttribute |
getEventOccurrence_FState()
Returns the meta object for the attribute '
FState' |
org.eclipse.emf.ecore.EAttribute |
getEventOccurrence_IsClockDead()
Returns the meta object for the attribute '
Is Clock Dead' |
org.eclipse.emf.ecore.EAttribute |
getEventOccurrence_WasBorn()
Returns the meta object for the attribute '
Was Born' |
org.eclipse.emf.ecore.EClass |
getEventOccurrence()
Returns the meta object for class '
Event Occurrence' |
org.eclipse.emf.ecore.EEnum |
getFiredStateKind()
Returns the meta object for enum '
Fired State Kind' |
org.eclipse.emf.ecore.EReference |
getInterDiscretizedSteps_CorrespondingLogicalSteps()
Returns the meta object for the reference list '
Corresponding Logical Steps' |
org.eclipse.emf.ecore.EReference |
getInterDiscretizedSteps_NextFixStep()
Returns the meta object for the reference '
Next Fix Step' |
org.eclipse.emf.ecore.EReference |
getInterDiscretizedSteps_PreviousFixStep()
Returns the meta object for the reference '
Previous Fix Step' |
org.eclipse.emf.ecore.EClass |
getInterDiscretizedSteps()
Returns the meta object for class '
Inter Discretized Steps' |
org.eclipse.emf.ecore.EReference |
getLogicalStep_AssertionStates()
Returns the meta object for the containment reference list '
Assertion States' |
org.eclipse.emf.ecore.EReference |
getLogicalStep_ConstraintStates()
Returns the meta object for the containment reference list '
Constraint States' |
org.eclipse.emf.ecore.EReference |
getLogicalStep_EventOccurrences()
Returns the meta object for the containment reference list '
Event Occurrences' |
org.eclipse.emf.ecore.EReference |
getLogicalStep_NextStep()
Returns the meta object for the reference '
Next Step' |
org.eclipse.emf.ecore.EReference |
getLogicalStep_PreviousStep()
Returns the meta object for the reference '
Previous Step' |
org.eclipse.emf.ecore.EAttribute |
getLogicalStep_StepNumber()
Returns the meta object for the attribute '
Step Number' |
org.eclipse.emf.ecore.EClass |
getLogicalStep()
Returns the meta object for class '
Logical Step' |
org.eclipse.emf.ecore.EReference |
getModelElementReference_ElementRef()
Returns the meta object for the reference list '
Element Ref' |
org.eclipse.emf.ecore.EClass |
getModelElementReference()
Returns the meta object for class '
Model Element Reference' |
org.eclipse.emf.ecore.EAttribute |
getNamedReference_Value()
Returns the meta object for the attribute '
Value' |
org.eclipse.emf.ecore.EClass |
getNamedReference()
Returns the meta object for class '
Named Reference' |
org.eclipse.emf.ecore.EAttribute |
getPhysicalBase_Offset()
Returns the meta object for the attribute '
Offset' |
org.eclipse.emf.ecore.EReference |
getPhysicalBase_PhysicalSteps()
Returns the meta object for the containment reference list '
Physical Steps' |
org.eclipse.emf.ecore.EReference |
getPhysicalBase_RelatedDenseClock()
Returns the meta object for the containment reference '
Related Dense Clock' |
org.eclipse.emf.ecore.EClass |
getPhysicalBase()
Returns the meta object for class '
Physical Base' |
org.eclipse.emf.ecore.EClass |
getPhysicalSteps()
Returns the meta object for class '
Physical Steps' |
org.eclipse.emf.ecore.EClass |
getReference()
Returns the meta object for class '
Reference' |
org.eclipse.emf.ecore.EReference |
getState_ReferedElement()
Returns the meta object for the reference '
Refered Element' |
org.eclipse.emf.ecore.EClass |
getState()
Returns the meta object for class '
State' |
org.eclipse.emf.ecore.EAttribute |
getTrace_Author()
Returns the meta object for the attribute '
Author' |
org.eclipse.emf.ecore.EAttribute |
getTrace_Date()
Returns the meta object for the attribute '
Date' |
org.eclipse.emf.ecore.EAttribute |
getTrace_Documentation()
Returns the meta object for the attribute '
Documentation' |
org.eclipse.emf.ecore.EReference |
getTrace_LogicalSteps()
Returns the meta object for the containment reference list '
Logical Steps' |
org.eclipse.emf.ecore.EAttribute |
getTrace_Name()
Returns the meta object for the attribute '
Name' |
org.eclipse.emf.ecore.EReference |
getTrace_PhysicalBases()
Returns the meta object for the containment reference list '
Physical Bases' |
org.eclipse.emf.ecore.EReference |
getTrace_References()
Returns the meta object for the containment reference list '
References' |
org.eclipse.emf.ecore.EClass |
getTrace()
Returns the meta object for class '
Trace' |
TraceFactory |
getTraceFactory()
Returns the factory that creates the instances of the model
|
getEClassifier, getEClassifiers, getEFactoryInstance, getESubpackages, getESuperPackage, getNsPrefix, getNsURI, setEFactoryInstance, setNsPrefix, setNsURIgetEAnnotation, getEAnnotationsstatic final java.lang.String eNAME
static final java.lang.String eNS_URI
static final java.lang.String eNS_PREFIX
static final TracePackage eINSTANCE
static final int TRACE
Trace' class.
static final int TRACE__LOGICAL_STEPS
static final int TRACE__PHYSICAL_BASES
static final int TRACE__REFERENCES
static final int TRACE__NAME
static final int TRACE__DATE
static final int TRACE__AUTHOR
static final int TRACE__DOCUMENTATION
static final int TRACE_FEATURE_COUNT
static final int LOGICAL_STEP
Logical Step' class.
static final int LOGICAL_STEP__CONSTRAINT_STATES
static final int LOGICAL_STEP__EVENT_OCCURRENCES
static final int LOGICAL_STEP__NEXT_STEP
static final int LOGICAL_STEP__PREVIOUS_STEP
static final int LOGICAL_STEP__STEP_NUMBER
static final int LOGICAL_STEP__ASSERTION_STATES
static final int LOGICAL_STEP_FEATURE_COUNT
static final int STATE
State' class.
static final int STATE__REFERED_ELEMENT
static final int STATE_FEATURE_COUNT
static final int CONSTRAINT_STATE
Constraint State' class.
static final int CONSTRAINT_STATE__REFERED_ELEMENT
static final int CONSTRAINT_STATE__INTERNAL_VALUE
static final int CONSTRAINT_STATE_FEATURE_COUNT
static final int EVENT_OCCURRENCE
Event Occurrence' class.
static final int EVENT_OCCURRENCE__REFERED_ELEMENT
static final int EVENT_OCCURRENCE__CONTEXT
static final int EVENT_OCCURRENCE__IS_CLOCK_DEAD
static final int EVENT_OCCURRENCE__COUNTER
static final int EVENT_OCCURRENCE__ESTATE
static final int EVENT_OCCURRENCE__FSTATE
static final int EVENT_OCCURRENCE__WAS_BORN
static final int EVENT_OCCURRENCE_FEATURE_COUNT
static final int REFERENCE
Reference' class.
static final int REFERENCE_FEATURE_COUNT
static final int MODEL_ELEMENT_REFERENCE
Model Element Reference' class.
static final int MODEL_ELEMENT_REFERENCE__ELEMENT_REF
static final int MODEL_ELEMENT_REFERENCE_FEATURE_COUNT
static final int NAMED_REFERENCE
Named Reference' class.
static final int NAMED_REFERENCE__VALUE
static final int NAMED_REFERENCE_FEATURE_COUNT
static final int PHYSICAL_BASE
Physical Base' class.
static final int PHYSICAL_BASE__PHYSICAL_STEPS
static final int PHYSICAL_BASE__RELATED_DENSE_CLOCK
static final int PHYSICAL_BASE__OFFSET
static final int PHYSICAL_BASE_FEATURE_COUNT
static final int PHYSICAL_STEPS
Physical Steps' class.
static final int PHYSICAL_STEPS_FEATURE_COUNT
static final int DISCRETIZED_CLOCK_STEP
Discretized Clock Step' class.
static final int DISCRETIZED_CLOCK_STEP__CORRESPONDING_LOGICAL_STEP
static final int DISCRETIZED_CLOCK_STEP__TIMESTAMP
static final int DISCRETIZED_CLOCK_STEP_FEATURE_COUNT
static final int INTER_DISCRETIZED_STEPS
Inter Discretized Steps' class.
static final int INTER_DISCRETIZED_STEPS__PREVIOUS_FIX_STEP
static final int INTER_DISCRETIZED_STEPS__NEXT_FIX_STEP
static final int INTER_DISCRETIZED_STEPS__CORRESPONDING_LOGICAL_STEPS
static final int INTER_DISCRETIZED_STEPS_FEATURE_COUNT
static final int ASSERTION_STATE
Assertion State' class.
static final int ASSERTION_STATE__REFERED_ELEMENT
static final int ASSERTION_STATE__IS_VIOLATED
static final int ASSERTION_STATE_FEATURE_COUNT
static final int ENABLE_STATE_KIND
Enable State Kind' enum.
static final int FIRED_STATE_KIND
Fired State Kind' enum.
org.eclipse.emf.ecore.EClass getTrace()
Trace'.
Traceorg.eclipse.emf.ecore.EReference getTrace_LogicalSteps()
Logical Steps'.
Trace.getLogicalSteps(),
getTrace()org.eclipse.emf.ecore.EReference getTrace_PhysicalBases()
Physical Bases'.
Trace.getPhysicalBases(),
getTrace()org.eclipse.emf.ecore.EReference getTrace_References()
References'.
Trace.getReferences(),
getTrace()org.eclipse.emf.ecore.EAttribute getTrace_Name()
Name'.
Trace.getName(),
getTrace()org.eclipse.emf.ecore.EAttribute getTrace_Date()
Date'.
Trace.getDate(),
getTrace()org.eclipse.emf.ecore.EAttribute getTrace_Author()
Author'.
Trace.getAuthor(),
getTrace()org.eclipse.emf.ecore.EAttribute getTrace_Documentation()
Documentation'.
Trace.getDocumentation(),
getTrace()org.eclipse.emf.ecore.EClass getLogicalStep()
Logical Step'.
LogicalSteporg.eclipse.emf.ecore.EReference getLogicalStep_ConstraintStates()
Constraint States'.
LogicalStep.getConstraintStates(),
getLogicalStep()org.eclipse.emf.ecore.EReference getLogicalStep_EventOccurrences()
Event Occurrences'.
LogicalStep.getEventOccurrences(),
getLogicalStep()org.eclipse.emf.ecore.EReference getLogicalStep_NextStep()
Next Step'.
LogicalStep.getNextStep(),
getLogicalStep()org.eclipse.emf.ecore.EReference getLogicalStep_PreviousStep()
Previous Step'.
LogicalStep.getPreviousStep(),
getLogicalStep()org.eclipse.emf.ecore.EAttribute getLogicalStep_StepNumber()
Step Number'.
LogicalStep.getStepNumber(),
getLogicalStep()org.eclipse.emf.ecore.EReference getLogicalStep_AssertionStates()
Assertion States'.
LogicalStep.getAssertionStates(),
getLogicalStep()org.eclipse.emf.ecore.EClass getConstraintState()
Constraint State'.
ConstraintStateorg.eclipse.emf.ecore.EAttribute getConstraintState_InternalValue()
Internal Value'.
ConstraintState.getInternalValue(),
getConstraintState()org.eclipse.emf.ecore.EClass getEventOccurrence()
Event Occurrence'.
EventOccurrenceorg.eclipse.emf.ecore.EReference getEventOccurrence_Context()
Context'.
EventOccurrence.getContext(),
getEventOccurrence()org.eclipse.emf.ecore.EAttribute getEventOccurrence_IsClockDead()
Is Clock Dead'.
EventOccurrence.isIsClockDead(),
getEventOccurrence()org.eclipse.emf.ecore.EAttribute getEventOccurrence_Counter()
Counter'.
EventOccurrence.getCounter(),
getEventOccurrence()org.eclipse.emf.ecore.EAttribute getEventOccurrence_EState()
EState'.
EventOccurrence.getEState(),
getEventOccurrence()org.eclipse.emf.ecore.EAttribute getEventOccurrence_FState()
FState'.
EventOccurrence.getFState(),
getEventOccurrence()org.eclipse.emf.ecore.EAttribute getEventOccurrence_WasBorn()
Was Born'.
EventOccurrence.isWasBorn(),
getEventOccurrence()org.eclipse.emf.ecore.EClass getState()
State'.
Stateorg.eclipse.emf.ecore.EReference getState_ReferedElement()
Refered Element'.
State.getReferedElement(),
getState()org.eclipse.emf.ecore.EClass getReference()
Reference'.
Referenceorg.eclipse.emf.ecore.EClass getModelElementReference()
Model Element Reference'.
ModelElementReferenceorg.eclipse.emf.ecore.EReference getModelElementReference_ElementRef()
Element Ref'.
ModelElementReference.getElementRef(),
getModelElementReference()org.eclipse.emf.ecore.EClass getNamedReference()
Named Reference'.
NamedReferenceorg.eclipse.emf.ecore.EAttribute getNamedReference_Value()
Value'.
NamedReference.getValue(),
getNamedReference()org.eclipse.emf.ecore.EClass getPhysicalBase()
Physical Base'.
PhysicalBaseorg.eclipse.emf.ecore.EReference getPhysicalBase_PhysicalSteps()
Physical Steps'.
PhysicalBase.getPhysicalSteps(),
getPhysicalBase()org.eclipse.emf.ecore.EReference getPhysicalBase_RelatedDenseClock()
Related Dense Clock'.
PhysicalBase.getRelatedDenseClock(),
getPhysicalBase()org.eclipse.emf.ecore.EAttribute getPhysicalBase_Offset()
Offset'.
PhysicalBase.getOffset(),
getPhysicalBase()org.eclipse.emf.ecore.EClass getPhysicalSteps()
Physical Steps'.
PhysicalStepsorg.eclipse.emf.ecore.EClass getDiscretizedClockStep()
Discretized Clock Step'.
DiscretizedClockSteporg.eclipse.emf.ecore.EReference getDiscretizedClockStep_CorrespondingLogicalStep()
Corresponding Logical Step'.
DiscretizedClockStep.getCorrespondingLogicalStep(),
getDiscretizedClockStep()org.eclipse.emf.ecore.EAttribute getDiscretizedClockStep_Timestamp()
Timestamp'.
DiscretizedClockStep.getTimestamp(),
getDiscretizedClockStep()org.eclipse.emf.ecore.EClass getInterDiscretizedSteps()
Inter Discretized Steps'.
InterDiscretizedStepsorg.eclipse.emf.ecore.EReference getInterDiscretizedSteps_PreviousFixStep()
Previous Fix Step'.
InterDiscretizedSteps.getPreviousFixStep(),
getInterDiscretizedSteps()org.eclipse.emf.ecore.EReference getInterDiscretizedSteps_NextFixStep()
Next Fix Step'.
InterDiscretizedSteps.getNextFixStep(),
getInterDiscretizedSteps()org.eclipse.emf.ecore.EReference getInterDiscretizedSteps_CorrespondingLogicalSteps()
Corresponding Logical Steps'.
InterDiscretizedSteps.getCorrespondingLogicalSteps(),
getInterDiscretizedSteps()org.eclipse.emf.ecore.EClass getAssertionState()
Assertion State'.
AssertionStateorg.eclipse.emf.ecore.EAttribute getAssertionState_IsViolated()
Is Violated'.
AssertionState.isIsViolated(),
getAssertionState()org.eclipse.emf.ecore.EEnum getEnableStateKind()
Enable State Kind'.
EnableStateKindorg.eclipse.emf.ecore.EEnum getFiredStateKind()
Fired State Kind'.
FiredStateKindTraceFactory getTraceFactory()