IBM
Contents Index Previous Next



Autolink Configuration Syntax


An Autolink configuration is created with the command Define-Autolink-Configuration. The syntax of an Autolink configuration is expressed below in EBNF format.

<Start>         ::= "Define-Autolink-Configuration"
                    <Configuration>
                    "End"

<Configuration> ::= { <TransRule> | <TSStructureRule> |
                      <ASPTypesRule> | <PDUTypesRule> | 
                      <StripSignalsRule> <Function> }*

<TransRule>   ::= "TRANSLATE"
                  [ "SIGNAL" ] <AlternativeListOfTerms>
                  <TransRuleIf>* [ <TransRuleNoIf> ]
                  "END"

<TransRuleIf> ::= "IF" <Conditions> "THEN"
                  <TransRuleNoIf> "END"

<TransRuleNoIf> ::= { "CONSTRAINT" 
                      <TransRuleConstraint> |
                      "TESTSUITE"
                      <TransRuleTestSuite> }*

<TransRuleConstraint> ::= { "NAME" <Term> |
                            "PARS" <ParameterList1> |
                            "MATCH" <ParameterList1> }*

<TransRuleTestSuite>  ::= { "CONSTS" <ParameterList1> |
                            "PARS" <ParameterList2> }*

<ParameterList1> ::= <Parameter1> { "," <Parameter1> }*

<Parameter1>     ::= "$" <Number> [ "=" <Term> ]

<ParameterList2> ::= <Parameter2> { "," <Parameter2> }*

<Parameter2>     ::= "$" <Number> [ "=" <Term> ]
                     [ "/" <Term> ]

<TSStructureRule> ::= "PLACE" <AlternativeListOfTerms>
                      <TSStructureRuleIf>*
                      [ <TSStructureRuleNoIf> ]
                      "END"

<TSStructureRuleIf> ::= "IF" <Conditions> "THEN"
                        <TSStructureRuleNoIf> "END"

<TSStructureRuleNoIf> ::= "IN" <Term> { "/" <Term> }*

<ASPTypesRule>      ::= "ASP-TYPES"
                        <SequentialListOfTerms> "END"
<PDUTypesRule>      ::= "PDU-TYPES"
                        <SequentialListOfTerms> "END"
<StripSignalsRule>  ::= "STRIP-SIGNALS"  
                        <SequentialListOfTerms> "END"
<Function>       ::= "FUNCTION" <Identifier>
                     <Mappings> "END"

<Mappings>       ::= <Mapping> { "|" <Mapping> }*

<Mapping>        ::= <Conditions> ":" <Term>

<Term>           ::= <Atom> { "+" <Atom> }*

<Atom>           ::= "$" <Number> | "@" <Number> |
                     <Text> | <Identifier> |
                     <FunctionCall>

<FunctionCall>   ::= <Identifier> 
                     "(" <SequentialListOfTerms> ")"

<SequentialListOfTerms>  ::= <Term> { "," <Term> }*

<AlternativeListOfTerms> ::= <Term> { "|" <Term> }*

<Conditions>     ::= <Condition> { "AND" <Condition> }*

<Condition>      ::= <Term> { "==" | "!=" } <Term> |
                     "TRUE"

For a detailed description of the semantics, see Syntax and Semantics of the Autolink Configuration.


http://www.ibm.com/rational
Contents Index Previous Next