示例#1
0
def main():
    '''Test function'''

    err = ocarina.load("rma.aadl")
    # load a file
    print 'load("rma.aadl"),:', err

    err = ocarina.load("deployment.aadl")
    # load a file
    print 'load("deployment.aadl"):', err

    err = ocarina.analyze()
    # analyze models
    print 'ocarina.analyze():', err

    err = ocarina.instantiate("rma.impl")
    # instantiate system
    print 'ocarina.instantiate("rma.impl"):', err

    err = ocarina.add_real_library("rma.real")
    print err

    err = ocarina.set_real_theorem("check_scheduling")
    print err

    err = ocarina.generate(ocarina.Backends.real_theorem)
    print err
示例#2
0
def main ():
    # read  command line arguments

    arguments = docopt(__doc__, args, version="visitor.py 0.1")

    # build the repository path
    repo = arguments['FILE']

    err = ocarina.load(repo);       # load a file
    err = ocarina.analyze();        # analyze models
    err = ocarina.instantiate("");  # instantiate system

    print '----------------------------------------------------'
    print 'Visit AADL Instance tree'
    print '----------------------------------------------------'

    root=lmp.getRoot()[0]
    visitor(root,0)
示例#3
0
文件: visitor.py 项目: Lqs66/ocarina
def main():
    # read  command line arguments

    arguments = docopt(__doc__, args, version="visitor.py 0.1")

    # build the repository path
    repo = arguments['FILE']

    err = ocarina.load(repo)
    # load a file
    err = ocarina.analyze()
    # analyze models
    err = ocarina.instantiate("")
    # instantiate system

    print '----------------------------------------------------'
    print 'Visit AADL Instance tree'
    print '----------------------------------------------------'

    root = lmp.getRoot()[0]
    visitor(root, 0)
示例#4
0
文件: test.py 项目: OpenAADL/ocarina
def main ():
    '''Test function'''

    err=ocarina.load("rma.aadl");                   # load a file
    print 'load("rma.aadl"),:', err

    err=ocarina.load("deployment.aadl");            # load a file
    print 'load("deployment.aadl"):', err

    err=ocarina.analyze();                          # analyze models
    print 'ocarina.analyze():', err

    err=ocarina.instantiate("rma.impl");           # instantiate system
    print 'ocarina.instantiate("rma.impl"):', err

    err=ocarina.add_real_library("rma.real");
    print err;

    err=ocarina.set_real_theorem("check_scheduling");
    print err;

    err=ocarina.generate (ocarina.Backends.real_theorem);
    print err;
示例#5
0
文件: metrics.py 项目: Lqs66/ocarina
    if root == '' :
        print 'Root object shall be defined. Usage is:'
        print 'metrics.py -a <aadlfile>[,<aadlfile>]* -r <root object>'
        sys.exit(2)
    if aadlFiles == '' :
        print 'At least one aadl file shall be loaded. Usage is:'
        print 'metrics.py -a <aadlfile>[,<aadlfile>]* -r <root object>'
        sys.exit(2)

    for aadlFile  in aadlFiles:
        err = ocarina.load(aadlFile)
        if err[3]!=[]:
            printError('ocarina.load('+aadlFile+')', err[3])
            sys.exit(2)
    err = ocarina.analyze()
    if err[3]!=[]:
        printError('ocarina.analyze()', err[3])
        sys.exit(2)
    err = ocarina.instantiate(root)
    if err[3]!=[]:
        printError('ocarina.instantiate('+root+')', err[3])
        sys.exit(2)

    print '----------------------------------------------------'
    print 'Number of Component Instances:'
    print '----------------------------------------------------'
    aadlInstances=lmp.getInstances('processor')[0]
    print '- Processors:\t\t',len(aadlInstances)
    aadlInstances=lmp.getInstances('process')[0]
    print '- Processes:\t\t',len(aadlInstances)
示例#6
0
def main(argv):
    '''Test function'''
    import ocarina;
    import lmp;

    aadlFiles = ''
    root = ''

    try:
        opts, args = getopt.getopt(argv,"ha:r:",["aadlFiles=","root="])
    except getopt.GetoptError:
        print 'Error in command options. Usage is:'
        print 'metrics.py -a <aadlfile>[,<aadlfile>]* -r <root object>'
        sys.exit(2)
    for opt, arg in opts:
        if opt == '-h':
            print 'Usage is:'
            print 'metrics.py -a <aadlfile>[,<aadlfile>]* -r <root object>'
            sys.exit()
        elif opt in ("-a", "--aadlFiles"):
            aadlFiles = arg.split(',')
        elif opt in ("-r", "--root"):
            root = arg

    if root == '' :
        print 'Root object shall be defined. Usage is:'
        print 'metrics.py -a <aadlfile>[,<aadlfile>]* -r <root object>'
        sys.exit(2)
    if aadlFiles == '' :
        print 'At least one aadl file shall be loaded. Usage is:'
        print 'metrics.py -a <aadlfile>[,<aadlfile>]* -r <root object>'
        sys.exit(2)

    for aadlFile  in aadlFiles:
        err = ocarina.load(aadlFile)
        if err[3]!=[]:
            printError('ocarina.load('+aadlFile+')', err[3])
            sys.exit(2)
    err = ocarina.analyze()
    if err[3]!=[]:
        printError('ocarina.analyze()', err[3])
        sys.exit(2)
    err = ocarina.instantiate(root)
    if err[3]!=[]:
        printError('ocarina.instantiate('+root+')', err[3])
        sys.exit(2)

    print '----------------------------------------------------'
    print 'Number of Component Instances:'
    print '----------------------------------------------------'
    aadlInstances=lmp.getInstances('processor')[0]
    print '- Processors:\t\t',len(aadlInstances)
    aadlInstances=lmp.getInstances('process')[0]
    print '- Processes:\t\t',len(aadlInstances)
    aadlInstances=lmp.getInstances('thread')[0]
    print '- Threads:\t\t',len(aadlInstances)
    aadlInstances=lmp.getInstances('subprogram')[0]
    print '- Subprograms:\t\t',len(aadlInstances)
    print '----------------------------------------------------'
    print '           *** DECLARATIVE MODEL ***'
    print '----------------------------------------------------'
    aadlPackages=lmp.getPackages()[0]
    print 'Number of Packages:\t\t\t',len(aadlPackages)
    aadlCompoTypes=lmp.getComponentTypes('all')[0]
    print 'Number of Component Types:\t\t',len(aadlCompoTypes)
    aadlCompoImpl=lmp.getComponentImplementations('all')[0]
    print 'Number of Component Implementations:\t',len(aadlCompoImpl)
    aadlSubcomponents=[]
    for impl in aadlCompoImpl:
        tmp=lmp.ATN.Subcomponents(impl)[0]
        if tmp is not None :
            aadlSubcomponents=aadlSubcomponents+tmp
    print 'Number of Subcomponents:\t\t',len(aadlSubcomponents)
    aadlCalls=[]
    for impl in aadlCompoImpl:
        tmp=lmp.ATN.Calls(impl)[0]
        if tmp is not None :
            aadlCalls=aadlCalls+tmp
    print 'Number of Call Sequences:\t\t',len(aadlCalls)
    aadlSubprogramCalls=[]
    for call in aadlCalls:
        aadlSubprogramCalls=aadlSubprogramCalls+lmp.ATN.Subprogram_Calls(call)[0]
    print 'Number of Subprogram Calls:\t\t',len(aadlSubprogramCalls)
    aadlFeatures=[]
    for type in aadlCompoTypes:
        tmp=lmp.ATN.Features(type)[0]
        if tmp is not None :
            aadlFeatures=aadlFeatures+tmp
    print 'Number of Features:\t\t\t',len(aadlFeatures)
    aadlConnections=[]
    for impl in aadlCompoImpl:
        tmp=lmp.ATN.Connections(impl)[0]
        if tmp is not None :
            aadlConnections=aadlConnections+tmp
    print 'Number of Connections:\t\t\t',len(aadlConnections)
    aadlProperties=[]
    for elt in aadlCompoTypes+aadlCompoImpl+aadlFeatures+aadlConnections:
        tmp=lmp.ATN.Properties(elt)[0]
        if tmp is not None :
            aadlProperties=aadlProperties+tmp
    print 'Number of Property Associations:\t',len(aadlProperties)
    print '---- Prototypes ------------------------------------'
    knownAadlElt=lmp.getPrototypes()[0]
    print 'Number of Prototypes:\t\t\t',len(knownAadlElt)
    knownAadlElt=lmp.getPrototypeBindings()[0]
    print 'Number of Prototype Bindings:\t\t',len(knownAadlElt)
    print '---- Flows -----------------------------------------'
    knownAadlElt=lmp.getFlowSpecifications()[0]
    print 'Number of Flow Specifications:\t\t',len(knownAadlElt)
    knownAadlElt=lmp.getFlowImplementations()[0]
    print 'Number of Flow Implementations:\t\t',len(knownAadlElt)
    print '---- Modes -----------------------------------------'
    knownAadlElt=lmp.getModes()[0]
    print 'Number of Modes:\t\t\t',len(knownAadlElt)
    knownAadlElt=lmp.getModeTransitions()[0]
    print 'Number of Mode Transitions:\t\t',len(knownAadlElt)
    print '---- Properties ------------------------------------'
    aadlPropertySets=lmp.getPropertySets()[0]
    print 'Number of Property Sets:\t\t',len(aadlPropertySets)
    aadlPropertyTypes=[]
    for propSet in aadlPropertySets:
        tmp=lmp.getPropertyTypes(propSet)[0]
        if tmp is not None :
            aadlPropertyTypes=aadlPropertyTypes+tmp
    print 'Number of Property Types:\t\t',len(aadlPropertyTypes)
    aadlPropertyDefinitions=[]
    for propSet in aadlPropertySets:
        tmp=lmp.getPropertyDefinitions(propSet)[0]
        if tmp is not None :
            aadlPropertyDefinitions=aadlPropertyDefinitions+tmp
    print 'Number of Property Definitions:\t\t',len(aadlPropertyDefinitions)
    aadlPropertyConstants=[]
    for propSet in aadlPropertySets:
        tmp=lmp.getPropertyConstants(propSet)[0]
        if tmp is not None :
            aadlPropertyConstants=aadlPropertyConstants+tmp
    print 'Number of Property Constants:\t\t',len(aadlPropertyConstants)
    print '---- Annexes ---------------------------------------'
    aadlAnnexes=lmp.getAnnexes()[0]
    print 'Number of Annexes:\t\t\t',len(aadlAnnexes)
示例#7
0
def main(argv):
    '''Test function'''
    import ocarina
    import lmp

    aadlFiles = ''
    root = ''

    try:
        opts, args = getopt.getopt(argv, "ha:r:", ["aadlFiles=", "root="])
    except getopt.GetoptError:
        print 'Error in command options. Usage is:'
        print 'metrics.py -a <aadlfile>[,<aadlfile>]* -r <root object>'
        sys.exit(2)
    for opt, arg in opts:
        if opt == '-h':
            print 'Usage is:'
            print 'metrics.py -a <aadlfile>[,<aadlfile>]* -r <root object>'
            sys.exit()
        elif opt in ("-a", "--aadlFiles"):
            aadlFiles = arg.split(',')
        elif opt in ("-r", "--root"):
            root = arg

    if root == '':
        print 'Root object shall be defined. Usage is:'
        print 'metrics.py -a <aadlfile>[,<aadlfile>]* -r <root object>'
        sys.exit(2)
    if aadlFiles == '':
        print 'At least one aadl file shall be loaded. Usage is:'
        print 'metrics.py -a <aadlfile>[,<aadlfile>]* -r <root object>'
        sys.exit(2)

    for aadlFile in aadlFiles:
        err = ocarina.load(aadlFile)
        if err[3] != []:
            printError('ocarina.load(' + aadlFile + ')', err[3])
            sys.exit(2)
    err = ocarina.analyze()
    if err[3] != []:
        printError('ocarina.analyze()', err[3])
        sys.exit(2)
    err = ocarina.instantiate(root)
    if err[3] != []:
        printError('ocarina.instantiate(' + root + ')', err[3])
        sys.exit(2)

    print '----------------------------------------------------'
    print 'Number of Component Instances:'
    print '----------------------------------------------------'
    aadlInstances = lmp.getInstances('processor')[0]
    print '- Processors:\t\t', len(aadlInstances)
    aadlInstances = lmp.getInstances('process')[0]
    print '- Processes:\t\t', len(aadlInstances)
    aadlInstances = lmp.getInstances('thread')[0]
    print '- Threads:\t\t', len(aadlInstances)
    aadlInstances = lmp.getInstances('subprogram')[0]
    print '- Subprograms:\t\t', len(aadlInstances)
    print '----------------------------------------------------'
    print '           *** DECLARATIVE MODEL ***'
    print '----------------------------------------------------'
    aadlPackages = lmp.getPackages()[0]
    print 'Number of Packages:\t\t\t', len(aadlPackages)
    aadlCompoTypes = lmp.getComponentTypes('all')[0]
    print 'Number of Component Types:\t\t', len(aadlCompoTypes)
    aadlCompoImpl = lmp.getComponentImplementations('all')[0]
    print 'Number of Component Implementations:\t', len(aadlCompoImpl)
    aadlSubcomponents = []
    for impl in aadlCompoImpl:
        tmp = lmp.ATN.Subcomponents(impl)[0]
        if tmp is not None:
            aadlSubcomponents = aadlSubcomponents + tmp
    print 'Number of Subcomponents:\t\t', len(aadlSubcomponents)
    aadlCalls = []
    for impl in aadlCompoImpl:
        tmp = lmp.ATN.Calls(impl)[0]
        if tmp is not None:
            aadlCalls = aadlCalls + tmp
    print 'Number of Call Sequences:\t\t', len(aadlCalls)
    aadlSubprogramCalls = []
    for call in aadlCalls:
        aadlSubprogramCalls = aadlSubprogramCalls + lmp.ATN.Subprogram_Calls(
            call)[0]
    print 'Number of Subprogram Calls:\t\t', len(aadlSubprogramCalls)
    aadlFeatures = []
    for type in aadlCompoTypes:
        tmp = lmp.ATN.Features(type)[0]
        if tmp is not None:
            aadlFeatures = aadlFeatures + tmp
    print 'Number of Features:\t\t\t', len(aadlFeatures)
    aadlConnections = []
    for impl in aadlCompoImpl:
        tmp = lmp.ATN.Connections(impl)[0]
        if tmp is not None:
            aadlConnections = aadlConnections + tmp
    print 'Number of Connections:\t\t\t', len(aadlConnections)
    aadlProperties = []
    for elt in aadlCompoTypes + aadlCompoImpl + aadlFeatures + aadlConnections:
        tmp = lmp.ATN.Properties(elt)[0]
        if tmp is not None:
            aadlProperties = aadlProperties + tmp
    print 'Number of Property Associations:\t', len(aadlProperties)
    print '---- Prototypes ------------------------------------'
    knownAadlElt = lmp.getPrototypes()[0]
    print 'Number of Prototypes:\t\t\t', len(knownAadlElt)
    knownAadlElt = lmp.getPrototypeBindings()[0]
    print 'Number of Prototype Bindings:\t\t', len(knownAadlElt)
    print '---- Flows -----------------------------------------'
    knownAadlElt = lmp.getFlowSpecifications()[0]
    print 'Number of Flow Specifications:\t\t', len(knownAadlElt)
    knownAadlElt = lmp.getFlowImplementations()[0]
    print 'Number of Flow Implementations:\t\t', len(knownAadlElt)
    print '---- Modes -----------------------------------------'
    knownAadlElt = lmp.getModes()[0]
    print 'Number of Modes:\t\t\t', len(knownAadlElt)
    knownAadlElt = lmp.getModeTransitions()[0]
    print 'Number of Mode Transitions:\t\t', len(knownAadlElt)
    print '---- Properties ------------------------------------'
    aadlPropertySets = lmp.getPropertySets()[0]
    print 'Number of Property Sets:\t\t', len(aadlPropertySets)
    aadlPropertyTypes = []
    for propSet in aadlPropertySets:
        tmp = lmp.getPropertyTypes(propSet)[0]
        if tmp is not None:
            aadlPropertyTypes = aadlPropertyTypes + tmp
    print 'Number of Property Types:\t\t', len(aadlPropertyTypes)
    aadlPropertyDefinitions = []
    for propSet in aadlPropertySets:
        tmp = lmp.getPropertyDefinitions(propSet)[0]
        if tmp is not None:
            aadlPropertyDefinitions = aadlPropertyDefinitions + tmp
    print 'Number of Property Definitions:\t\t', len(aadlPropertyDefinitions)
    aadlPropertyConstants = []
    for propSet in aadlPropertySets:
        tmp = lmp.getPropertyConstants(propSet)[0]
        if tmp is not None:
            aadlPropertyConstants = aadlPropertyConstants + tmp
    print 'Number of Property Constants:\t\t', len(aadlPropertyConstants)
    print '---- Annexes ---------------------------------------'
    aadlAnnexes = lmp.getAnnexes()[0]
    print 'Number of Annexes:\t\t\t', len(aadlAnnexes)