Changes between Version 2 and Version 3 of aadlDeclarativeModel


Ignore:
Timestamp:
04/12/17 14:52:02 (7 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • aadlDeclarativeModel

    v2 v3  
    1313This page describes the AADL prolog API that can be used to create processing tools with LMP
    1414
    15 = Index =
    16 [#aadlv2predicates Core]
    17 [#aadlbehaviorannexpredicates BA]
    18 [#aadlerrorannexv1predicates EMV1]
    19 [#aadlerrorannexv1predicates EMV2]
     15{{{#!table style="border:2"
     16  {{{#!tr style="text-align:center; margin:auto"
     17    {{{#!th style="width:120px"
     18    '''Index'''
     19    }}}
     20    {{{#!td style="background:#ffd; width:80px"
     21    [#aadlv2predicates Core]
     22    }}}
     23    {{{#!td style="background:#ffd; width:80px"
     24    [#aadlbehaviorannexpredicates BA]
     25    }}}
     26    {{{#!td style="background:#ffd; width:80px"
     27    [#aadlerrorannexv1predicates EMV1]
     28    }}}
     29    {{{#!td style="background:#ffd; width:80px"
     30    [#aadlerrorannexv1predicates EMV2]
     31    }}}
     32  }}}
     33}}}
     34
    2035----
    2136=== AADL v2 predicates ===