aadl4ocaml : Aadl

sig

  type aadlSpec = {{aadlSpec}}

  and aadlDeclaration = {{aadlDeclaration}}

  and aadlPackage_declaration = {{aadlPackage_declaration}}

  and aadlPackage = {{aadlPackage}}

  and aadlPublic = {{aadlPublic}}

  and aadlPrivate = {{aadlPrivate}}

  and component_declaration = {{component_declaration}}

  and portGroupType = {{portGroupType}}

  and component_body_impl = {{component_body_impl}}

  and component_body_type = {{component_body_type}}

  and dataType = {{dataType}}

  and dataImpl = {{dataImpl}}

  and subprogramType = {{subprogramType}}

  and subprogramImpl = {{subprogramImpl}}

  and systemType = {{systemType}}

  and systemImpl = {{systemImpl}}

  and processType = {{processType}}

  and processImpl = {{processImpl}}

  and processorType = {{processorType}}

  and processorImpl = {{processorImpl}}

  and busType = {{busType}}

  and busImpl = {{busImpl}}

  and memoryType = {{memoryType}}

  and memoryImpl = {{memoryImpl}}

  and deviceType = {{deviceType}}

  and deviceImpl = {{deviceImpl}}

  and threadType = {{threadType}}

  and threadImpl = {{threadImpl}}

  and features = {{features}}

  and feature_body = {{feature_body}}

  and busAccess = {{busAccess}}

  and dataAccess = {{dataAccess}}

  and dataPort = {{dataPort}}

  and eventDataPort = {{eventDataPort}}

  and eventPort = {{eventPort}}

  and portGroup = {{portGroup}}

  and parameter = {{parameter}}

  and subcomponents = {{subcomponents}}

  and subcomponents_body = {{subcomponents_body}}

  and processSubcomponent = {{processSubcomponent}}

  and processorSubcomponent = {{processorSubcomponent}}

  and busSubcomponent = {{busSubcomponent}}

  and memorySubcomponent = {{memorySubcomponent}}

  and dataSubcomponent = {{dataSubcomponent}}

  and deviceSubcomponent = {{deviceSubcomponent}}

  and threadSubcomponent = {{threadSubcomponent}}

  and call = {{call}}

  and callSequences = {{callSequences}}

  and callSequence = {{callSequence}}

  and connections = {{connections}}

  and connections_body = {{connections_body}}

  and dataConnection = {{dataConnection}}

  and eventConnection = {{eventConnection}}

  and eventDataConnection = {{eventDataConnection}}

  and parameterConnection = {{parameterConnection}}

  and portGroupConnection = {{portGroupConnection}}

  and busAccessConnection = {{busAccessConnection}}

  and dataAccessConnection = {{dataAccessConnection}}

  and flows = {{flows}}

  and flowSpecs = {{flowSpecs}}

  and flowPathSpec = {{flowPathSpec}}

  and flowPathImpl = {{flowPathImpl}}

  and flowElement = {{flowElement}}

  and flowSourceSpec = {{flowSourceSpec}}

  and flowSinkSpec = {{flowSinkSpec}}

  and endToEndFlow = {{endToEndFlow}}

  and properties = {{properties}}

  and propertyAssociation = {{propertyAssociation}}

  and propertyChoice = {{propertyChoice}}

  and propertyExpression = {{propertyExpression}}

  and minimum = {{minimum}}

  and maximum = {{maximum}}

  and comment = {{comment}}

end