Index

Symbols

--list-backends ocarina command line option --spark2014 ocarina command line option --version ocarina command line option -aadlv[ARG] ocarina command line option -asn1 ocarina command line option -b ocarina command line option -boundt_process ARG ocarina command line option -d ocarina command line option -disable-annexes=ARG ocarina command line option -ec ocarina command line option -er ocarina command line option -f ocarina command line option -g ARG ocarina command line option -h, --help ocarina command line option -i ocarina command line option -I ARG ocarina command line option

-k ARG ocarina command line option -o ARG ocarina command line option -p ocarina command line option -perf ocarina command line option -q ocarina command line option -r ARG ocarina command line option -real_continue_eval ocarina command line option -real_lib ARG ocarina command line option -real_theorem ARG ocarina command line option -s ocarina command line option -t ocarina command line option -v, --verbose ocarina command line option -x ocarina command line option -y ocarina command line option -z ocarina command line option

A

AADL	add_real_library() (in module ocarina.ocarina) analyze() (in module ocarina.ocarina)

B

Backends (in module ocarina.ocarina)

E

Enum (class in ocarina.ocarina)

G

generate() (in module ocarina.ocarina) getAliasDeclarations() (in module ocarina.lmp) getAnnexes() (in module ocarina.lmp) getComponentFullname() (in module ocarina.lmp) getComponentImplementations() (in module ocarina.lmp) getComponentName() (in module ocarina.lmp) getComponentTypes() (in module ocarina.lmp) getDestinationPorts() (in module ocarina.ocarina) getFlowImplementations() (in module ocarina.lmp) getFlowSpecifications() (in module ocarina.lmp) getImportDeclarations() (in module ocarina.lmp) getInModes() (in module ocarina.lmp) getInstanceName() (in module ocarina.lmp) getInstances() (in module ocarina.lmp)

getModes() (in module ocarina.lmp) getModeTransitions() (in module ocarina.lmp) getNodeId() (in module ocarina.lmp) getPackages() (in module ocarina.lmp) getPropertyConstants() (in module ocarina.lmp) getPropertyDefinitions() (in module ocarina.lmp) getPropertySets() (in module ocarina.lmp) getPropertyTypes() (in module ocarina.lmp) getPropertyValue() (in module ocarina.ocarina) getPropertyValueByName() (in module ocarina.ocarina) getPrototypeBindings() (in module ocarina.lmp) getPrototypes() (in module ocarina.lmp) getRoot() (in module ocarina.lmp) getSourcePorts() (in module ocarina.ocarina)

I

instantiate() (in module ocarina.ocarina)

L

load() (in module ocarina.ocarina)

O

Ocarina (introduction) ocarina command line option --list-backends --spark2014 --version -I ARG -aadlv[ARG] -asn1 -b -boundt_process ARG -d -disable-annexes=ARG -ec -er -f -g ARG -h, --help -i -k ARG -o ARG -p -perf -q -r ARG -real_continue_eval -real_lib ARG -real_theorem ARG -s -t -v, --verbose -x -y -z

Ocarina plug-in ocarina.lmp (module) ocarina.ocarina (module) OSATE

R

reset() (in module ocarina.ocarina)

root system

S

scenario files

set_real_theorem() (in module ocarina.ocarina) status() (in module ocarina.ocarina)

V

version() (in module ocarina.ocarina)