Package | Description |
---|---|
org.osate.aadl2 | |
org.osate.aadl2.impl | |
org.osate.aadl2.util |
Modifier and Type | Interface and Description |
---|---|
interface |
CallSpecification
A representation of the model object 'Call Specification'.
|
interface |
ProcessorCall
A representation of the model object 'Processor Call'.
|
interface |
SubprogramCall
A representation of the model object 'Subprogram Call'.
|
interface |
SubprogramCallSequence
A representation of the model object 'Subprogram Call Sequence'.
|
Modifier and Type | Class and Description |
---|---|
class |
BehavioralFeatureImpl
An implementation of the model object 'Behavioral Feature'.
|
class |
CallSpecificationImpl
An implementation of the model object 'Call Specification'.
|
class |
ProcessorCallImpl
An implementation of the model object 'Processor Call'.
|
class |
SubprogramCallImpl
An implementation of the model object 'Subprogram Call'.
|
class |
SubprogramCallSequenceImpl
An implementation of the model object 'Subprogram Call Sequence'.
|
Modifier and Type | Method and Description |
---|---|
T |
Aadl2Switch.caseBehavioralFeature(BehavioralFeature object)
Returns the result of interpreting the object as an instance of 'Behavioral Feature'.
|
boolean |
Aadl2Validator.validateBehavioralFeature(BehavioralFeature behavioralFeature,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |