diff options
Diffstat (limited to 'lib/megaco/src/text/megaco_text_parser_v3.yrl')
| -rw-r--r-- | lib/megaco/src/text/megaco_text_parser_v3.yrl | 1680 |
1 files changed, 1680 insertions, 0 deletions
diff --git a/lib/megaco/src/text/megaco_text_parser_v3.yrl b/lib/megaco/src/text/megaco_text_parser_v3.yrl new file mode 100644 index 0000000000..d400a93c66 --- /dev/null +++ b/lib/megaco/src/text/megaco_text_parser_v3.yrl @@ -0,0 +1,1680 @@ +%% +%% %CopyrightBegin% +%% +%% Copyright Ericsson AB 2005-2009. All Rights Reserved. +%% +%% The contents of this file are subject to the Erlang Public License, +%% Version 1.1, (the "License"); you may not use this file except in +%% compliance with the License. You should have received a copy of the +%% Erlang Public License along with this software. If not, it can be +%% retrieved online at http://www.erlang.org/. +%% +%% Software distributed under the License is distributed on an "AS IS" +%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See +%% the License for the specific language governing rights and limitations +%% under the License. +%% +%% %CopyrightEnd% +%% + +%% +%%---------------------------------------------------------------------- +%% Purpose: YECC grammar for text encoding of Megaco/H.248 +%%---------------------------------------------------------------------- + +%%---------------------------------------------------------------------- +%% Annex B TEXT ENCODING OF THE PROTOCOL (NORMATIVE) +%% +%% B.1 Coding of wildcards +%% +%% In a text encoding of the protocol, while TerminationIDs are +%% arbitrary, by judicious choice of names, the wildcard character, "*" +%% may be made more useful. When the wildcard character is encountered, +%% it will "match" all TerminationIDs having the same previous and +%% following characters (if appropriate). For example, if there were +%% TerminationIDs of R13/3/1, R13/3/2 and R13/3/3, the TerminationID +%% R13/3/* would match all of them. There are some circumstances where +%% ALL Terminations must be referred to. The TerminationID "*" suffices, +%% and is referred to as ALL. The CHOOSE TerminationID "$" may be used to +%% signal to the MG that it has to create an ephemeral Termination or +%% select an idle physical Termination. +%% +%% B.2 ABNF specification +%% +%% The protocol syntax is presented in ABNF according to RFC2234. The +%% protocol is not case sensitive. Identifiers are not case sensitive. +%% +%% NOTE 1 - This syntax specification does not enforce all restrictions +%% on element inclusions and values. Some additional +%% restrictions are stated in comments and other restrictions +%% appear in the text of this Recommendation. These additional +%% restrictions are part of the protocol even though not +%% enforced by this Recommendation. +%% NOTE 2 - The syntax is context-dependent. For example, "Add" can be +%% the AddToken or a NAME depending on the context in which it +%% occurs. +%% +%% Everything in the ABNF and text encoding is case insensitive. This +%% includes TerminationIDs, digitmap Ids etc. SDP is case sensitive as +%% per RFC 2327. +%% +%%---------------------------------------------------------------------- + +%%---------------------------------------------------------------------- +%% Number of expected shift/reduce warnings +%% This is ugly but... +%%---------------------------------------------------------------------- + +Expect 91. + + +%%---------------------------------------------------------------------- +%% Non-terminals +%%---------------------------------------------------------------------- + +Nonterminals + + actionReply + actionReplyBody + actionReplyList + actionRequest + actionRequestBody + actionRequestItem + actionRequestItems + actionRequestList + alternativeValue + ammParameter + ammParameters + ammRequest + ammRequestBody + ammToken + ammsReply + ammsReplyBody + ammsToken + auditDescriptor + auditDescriptorBody + auditItem + auditItemList + auditOther + auditReply + auditRequest + auditReturnItem + auditReturnParameter + auditReturnParameterList + auditSelectLogic %% v3 + authenticationHeader + commandReplyList + commandReplys %% v3 + commandRequest + contextAttrDescriptor %% v3 + contextAudit + contextAuditProperties + contextAuditProperty + contextAuditSelector %% v3 + contextID + contextIdList %% v3 + contextIDs %% v3 +%% contextProperties %% v3 + contextProperty +%% contextPropertyList + contextTerminationAudit + daddr + deviceName + digitMapDescriptor + direction %% v3 + domainAddress + domainName + embedFirst + embedNoSig + embedSig + embedWithSig + emergencyValue %% v3 + errorCode + errorDescriptor + errorText + eventBufferControl + eventBufferControlValue %% v3 + eventBufferDescriptor + eventDM + eventParameter + eventParameterName + eventParameters + eventSpec + eventSpecList + eventStream + eventStreamOrOther + eventsDescriptor + extension + extensionParameter + + iaServiceStates %% v3 + iepsValue + + %% v2 - start + indAudauditReturnParameter + indAuddigitMapDescriptor + indAudeventBufferDescriptor + indAudeventSpec + indAudeventSpecParameter + %% indAudeventSpecParameterList + indAudeventsDescriptor + indAudlocalControlDescriptor + indAudlocalParm + indAudlocalParmList + indAudmediaDescriptor + indAudmediaParm + indAudmediaParms %% v3 + %% indAudmediaParmList + indAudpackagesDescriptor + indAudrequestedEvent + indAudsignalsDescriptor + indAudsignalList + %% indAudsignalListParm + indAudsignalParm + %% indAudsignalRequest + indAudstreamDescriptor + indAudstreamParm + indAudstatisticsDescriptor + indAudterminationAudit + indAudterminationAuditList + indAudterminationStateDescriptor + indAudterminationStateParm + %% indAudterminationStateParmList + optIndAudeventSpecParameter + optIndAudsignalParm + %% v2 - end + + indAudcontextAttrDescriptor %% v3 + + localControlDescriptor + localParm + localParmList + mId + mediaDescriptor + mediaParm + mediaParmList + megacoMessage + message + messageBody + modemDescriptor % Deprecated as of Corr 1 + modemType % Deprecated as of Corr 1 + modemTypeList % Deprecated as of Corr 1 + mtpAddress + muxDescriptor + muxType + notificationReason + notificationReasons + notifyBehaviour %% v3 + notifyRegulated %% v3 + notifyReply + notifyReplyBody + notifyRequest + notifyRequestBody + observedEvent + observedEventBody + observedEventParameter + observedEventParameters + % observedEventTimeStamp + observedEvents + observedEventsDescriptor + onOrOff + optAuditDescriptor + optImmAckRequired + optPropertyParms + optSep + packagesDescriptor + packagesItem + packagesItems + %% parmName + parmValue + pathName + pkgdName + portNumber + priority + propertyParm + propertyParms + propertyParmList + requestID + requestedEvent + requestedEventBody + requestedEvents + safeToken + safeToken2 + secondEventParameter + secondEventParameters + secondRequestedEvent + secondRequestedEventBody + secondRequestedEvents + segmentReply %% v3 + %% segmentNumber %% v3 + servChgReplyParm + servChgReplyParms + serviceChangeAddress + serviceChangeDelay + serviceChangeDescriptor + serviceChangeMethod + serviceChangeMgcId + serviceChangeParm + serviceChangeParms + serviceChangeProfile + serviceChangeReason + serviceChangeReply + serviceChangeReplyBody + serviceChangeReplyDescriptor + serviceChangeRequest + serviceChangeVersion + serviceStates + serviceStatesValue %% v3 + sigParameter + sigParameters + signalList + signalListId + signalListParm + signalListParms + signalName + signalParm + signalParms + signalRequest + signalsDescriptor + signalType + statisticsDescriptor + statisticsParameter + statisticsParameters + streamDescriptor + streamID + streamModes + streamParm + streamParmList + subtractRequest + termIDList %% v3 + terminationAudit + terminationID + terminationIDList + terminationIDListRepeat + terminationStateDescriptor + terminationStateParm + terminationStateParms + timeStamp + topologyDescriptor + topologyDirection + topologyDescComp + topologyDescCompList + transactionAck + transactionAckList + transactionID + transactionID_and_segment_info + transactionItem + transactionList + transactionPending + transactionReply + transactionReplyBody + transactionRequest + transactionResponseAck + value + valueList + +. + +%%---------------------------------------------------------------------- +%% Terminals +%%---------------------------------------------------------------------- + +Terminals + + 'AddToken' + 'AndAUDITselectToken' %% v3 + 'AuditCapToken' + 'AuditToken' + 'AuditValueToken' + 'AuthToken' + 'BothToken' %% v3 + 'BothwayToken' + 'BriefToken' + 'BufferToken' + 'COLON' + 'COMMA' + 'ContextAttrToken' %% v3 + 'ContextAuditToken' + 'ContextListToken' %% v3 + 'CtxToken' + 'DelayToken' + 'DigitMapToken' + 'DigitMapDescriptorToken' + 'DirectionToken' %% v3 + 'DiscardToken' + 'DisconnectedToken' + 'DurationToken' + 'EQUAL' + 'EmbedToken' + 'EmergencyToken' + 'EmergencyOffToken' + 'EmergencyValueToken' %% v3 + 'ErrorToken' + 'EventBufferToken' + 'EventsToken' + 'ExternalToken' %% v3 + 'FailoverToken' + 'ForcedToken' + 'GREATER' + 'GracefulToken' + 'H221Token' + 'H223Token' + 'H226Token' + 'HandOffToken' + 'IEPSToken' %% v3 + 'ImmAckRequiredToken' + 'INEQUAL' %% v3 + 'InSvcToken' + 'InactiveToken' + 'InternalToken' %% v3 + 'InterruptByEventToken' + 'InterruptByNewSignalsDescrToken' + 'IntsigDelayToken' %% v3 + 'IsolateToken' + 'IterationToken' %% v3 + 'KeepActiveToken' + 'LBRKT' + 'LESSER' + 'LSBRKT' + 'LocalControlToken' + 'LocalDescriptorToken' + 'LockStepToken' + 'LoopbackToken' + 'MediaToken' + %% 'MegacopToken' + 'MessageSegmentToken' + 'MethodToken' + 'MgcIdToken' + 'ModeToken' + 'ModemToken' + 'ModifyToken' + 'MoveToken' + 'MtpAddressToken' + 'MuxToken' + 'NEQUAL' + 'NeverNotifyToken' %% v3 + 'NotifyCompletionToken' + 'NotifyImmediateToken' %% v3 + 'NotifyRegulatedToken' %% v3 + 'NotifyToken' + 'Nx64Token' %% v2 + 'ObservedEventsToken' + 'OffToken' + 'OnToken' + 'OnOffToken' + 'OnewayToken' + 'OnewayExternalToken' %% v3 + 'OnewayBothToken' %% v3 + 'OrAUDITselectToken' %% v3 + 'OtherReasonToken' + 'OutOfSvcToken' + 'PackagesToken' + 'PendingToken' + 'PriorityToken' + 'ProfileToken' + 'QuotedChars' + 'RBRKT' + 'RSBRKT' + 'ReasonToken' + 'RecvonlyToken' + 'RemoteDescriptorToken' + 'ReplyToken' + 'RequestIDToken' %% v3 + 'ReservedGroupToken' + 'ReservedValueToken' + 'ResetEventsDescriptorToken' %% v3 + 'ResponseAckToken' + 'RestartToken' + 'SEP' + 'SafeChars' + %% 'SegmentationCompleteToken' + 'SendonlyToken' + 'SendrecvToken' + 'ServiceChangeAddressToken' + 'ServiceChangeToken' + 'ServiceChangeIncompleteToken' + 'ServiceStatesToken' + 'ServicesToken' + 'SignalListToken' + 'SignalTypeToken' + 'SignalsToken' + %% 'SLASH' + 'StatsToken' + 'StreamToken' + 'SubtractToken' + 'SynchISDNToken' + 'TerminationStateToken' + 'TestToken' + 'TimeOutToken' + 'TimeStampToken' + 'TopologyToken' + 'TransToken' + 'V18Token' + 'V22Token' + 'V22bisToken' + 'V32Token' + 'V32bisToken' + 'V34Token' + 'V76Token' + 'V90Token' + 'V91Token' + 'VersionToken' + endOfMessage + +. + +%%---------------------------------------------------------------------- +%% Root symbol +%%---------------------------------------------------------------------- + +Rootsymbol megacoMessage. + +%%---------------------------------------------------------------------- +%% The grammar +%%---------------------------------------------------------------------- + +%% megacoMessage = LWSP [authenticationHeader SEP ] message +%% authenticationHeader = AuthToken EQUAL SecurityParmIndex COLON +%% SequenceNum COLON AuthData +%% +%% SecurityParmIndex = "0x" 8(HEXDIG) +%% SequenceNum = "0x" 8(HEXDIG) +%% AuthData = "0x" 24*64(HEXDIG) +%% message = MegacopToken SLASH version SEP mId SEP messageBody +%% version = 1*2(DIGIT) . + +megacoMessage -> optSep authenticationHeader message endOfMessage + : #'MegacoMessage'{authHeader = '$2', mess = '$3'} . + +optSep -> 'SEP' : sep . +optSep -> '$empty' : no_sep . + +authenticationHeader -> 'AuthToken' 'EQUAL' safeToken 'COLON' + safeToken 'COLON' safeToken optSep + : ensure_auth_header('$3', '$5', '$7') . +authenticationHeader -> '$empty' : asn1_NOVALUE . + +message -> safeToken mId messageBody : + ensure_message('$1', '$2', '$3') . + +messageBody -> errorDescriptor : {messageError, '$1'} . +messageBody -> transactionList : {transactions, '$1'} . + +transactionList -> transactionItem : ['$1'] . +transactionList -> transactionItem transactionList : ['$1' | '$2'] . + +transactionItem -> transactionRequest : {transactionRequest, '$1'} . +transactionItem -> transactionReply : {transactionReply, '$1'}. +transactionItem -> transactionPending : {transactionPending, '$1'} . +transactionItem -> transactionResponseAck : {transactionResponseAck, '$1'} . +transactionItem -> segmentReply : {segmentReply, '$1'} . + +transactionResponseAck -> 'ResponseAckToken' + 'LBRKT' transactionAck + transactionAckList 'RBRKT' : ['$3' | '$4'] . + +transactionAckList -> 'COMMA' transactionAck + transactionAckList : ['$2' | '$3'] . +transactionAckList -> '$empty' : [] . + +transactionAck -> safeToken : ensure_transactionAck('$1') . + +transactionPending -> 'PendingToken' 'EQUAL' transactionID 'LBRKT' 'RBRKT' : + #'TransactionPending'{transactionId = ensure_transactionID('$3') } . + +transactionRequest -> 'TransToken' 'LBRKT' actionRequest + actionRequestList 'RBRKT' : + #'TransactionRequest'{transactionId = asn1_NOVALUE, + actions = ['$3' | '$4']} . +transactionRequest -> 'TransToken' 'EQUAL' 'LBRKT' actionRequest + actionRequestList 'RBRKT' : + #'TransactionRequest'{transactionId = asn1_NOVALUE, + actions = ['$4' | '$5']} . +transactionRequest -> 'TransToken' 'EQUAL' transactionID + 'LBRKT' actionRequest actionRequestList 'RBRKT' : + #'TransactionRequest'{transactionId = ensure_transactionID('$3'), + actions = ['$5' | '$6']} . + +actionRequestList -> 'COMMA' actionRequest actionRequestList : ['$2' | '$3'] . +actionRequestList -> '$empty' : [] . + +%% actionRequest = CtxToken EQUAL ContextID LBRKT ((contextRequest +%% [COMMA commandRequestList]) / +%% commandRequestList) RBRKT +%% contextRequest = ((contextProperties [COMMA contextAudit]) / +%% contextAudit) +%% contextProperties = contextProperty *(COMMA contextProperty) + +actionRequest -> 'CtxToken' 'EQUAL' contextID + 'LBRKT' actionRequestBody 'RBRKT' : + merge_action_request('$3', '$5') . + +actionRequestBody -> actionRequestItem actionRequestItems : ['$1' | '$2'] . + +actionRequestItems -> 'COMMA' actionRequestItem + actionRequestItems : ['$2' | '$3'] . +actionRequestItems -> '$empty' : [] . + +actionRequestItem -> contextProperty : {contextProp, '$1'} . +actionRequestItem -> contextAudit : {contextAudit, '$1'} . +actionRequestItem -> commandRequest : {commandRequest, '$1'} . + + +%% at-most-once (presumebly in contextProperties) +contextProperty -> topologyDescriptor : {topology, '$1'}. +contextProperty -> priority : {priority, '$1'}. +contextProperty -> 'EmergencyToken' : {emergency, true}. +contextProperty -> 'EmergencyOffToken' : {emergency, false}. +contextProperty -> iepsValue : {iepsCallind, '$1'} . +contextProperty -> contextAttrDescriptor : '$1' . + +contextAttrDescriptor -> 'ContextAttrToken' 'LBRKT' propertyParms 'RBRKT' : + {contextProp, '$3'}. +contextAttrDescriptor -> 'ContextAttrToken' 'LBRKT' contextIdList 'RBRKT' : + {contextList, '$3'}. + +contextIdList -> 'ContextListToken' 'EQUAL' + 'LBRKT' contextID contextIDs 'RBRKT' : ['$4' | '$5'] . + +contextIDs -> 'COMMA' contextID contextIDs : ['$2' | '$3'] . +contextIDs -> '$empty' : [] . + +contextAudit -> 'ContextAuditToken' 'LBRKT' + indAudcontextAttrDescriptor 'RBRKT' : + merge_context_attr_audit_request( + #'ContextAttrAuditRequest'{}, '$3') . +contextAudit -> 'ContextAuditToken' 'LBRKT' + contextAuditProperty contextAuditProperties 'RBRKT' : + merge_context_attr_audit_request( + #'ContextAttrAuditRequest'{}, ['$3' | '$4']) . + +indAudcontextAttrDescriptor -> 'ContextAttrToken' + 'LBRKT' contextAuditProperty + contextAuditProperties 'RBRKT' + : ['$3' | '$4'] . + +contextAuditProperties -> 'COMMA' contextAuditProperty contextAuditProperties + : ['$2' | '$3'] . +contextAuditProperties -> '$empty' : [] . + +%% at-most-once except contextAuditSelector. +contextAuditProperty -> 'TopologyToken' : topologyAudit . +contextAuditProperty -> 'EmergencyToken' : emergencyAudit . +contextAuditProperty -> 'PriorityToken' : priorityAudit . +contextAuditProperty -> 'IEPSToken' : iepsCallind . +contextAuditProperty -> pkgdName : {prop, '$1'} . +contextAuditProperty -> contextAuditSelector : '$1' . + +%% at-most-once +contextAuditSelector -> priority : {select_prio, '$1'} . +contextAuditSelector -> emergencyValue : {select_emergency, '$1'} . +contextAuditSelector -> iepsValue : {select_ieps, '$1'} . +contextAuditSelector -> auditSelectLogic : {select_logic, '$1'} . +contextAuditSelector -> contextAttrDescriptor : '$1' . + +auditSelectLogic -> 'AndAUDITselectToken' : {andAUDITSelect, 'NULL'} . +auditSelectLogic -> 'OrAUDITselectToken' : {orAUDITSelect, 'NULL'} . + +commandRequest -> ammRequest : '$1'. +commandRequest -> subtractRequest : '$1'. +commandRequest -> auditRequest : '$1'. +commandRequest -> notifyRequest : '$1'. +commandRequest -> serviceChangeRequest : '$1'. + +transactionReply -> 'ReplyToken' 'EQUAL' transactionID_and_segment_info + 'LBRKT' + optImmAckRequired transactionReplyBody + 'RBRKT' : + make_TransactionReply('$3', '$5', '$6') . + +segmentReply -> 'MessageSegmentToken' 'EQUAL' + transactionID_and_segment_info : + make_SegmentReply('$3') . + +%% segmentNumber -> safeToken : ensure_uint16('$1') . + +optImmAckRequired -> 'ImmAckRequiredToken' 'COMMA' : 'NULL' . +optImmAckRequired -> '$empty' : asn1_NOVALUE . + +transactionReplyBody -> errorDescriptor : {transactionError, '$1'} . +transactionReplyBody -> actionReply actionReplyList : {actionReplies, ['$1' | '$2']} . + +actionReplyList -> 'COMMA' actionReply actionReplyList : ['$2' | '$3'] . +actionReplyList -> '$empty' : [] . + +actionReply -> 'CtxToken' 'EQUAL' contextID + 'LBRKT' actionReplyBody 'RBRKT' : + setelement(#'ActionReply'.contextId, '$5', '$3') . +actionReply -> 'CtxToken' 'EQUAL' contextID : + #'ActionReply'{contextId = '$3'} . + +actionReplyBody -> errorDescriptor : + #'ActionReply'{errorDescriptor = '$1'} . +actionReplyBody -> commandReplys commandReplyList : + merge_action_reply(['$1' | '$2']) . + +%% OTP-5085 +%% This ugly thing is to fool the parser. The errorDescriptor does not +%% realy belong here. The merge_action_reply will remove it and put it +%% in it's right place later. +commandReplyList -> 'COMMA' errorDescriptor : + [{error, '$2'}] . +commandReplyList -> 'COMMA' commandReplys commandReplyList : + ['$2' | '$3'] . +commandReplyList -> '$empty' : [] . + +commandReplys -> serviceChangeReply : {command, '$1'} . +commandReplys -> auditReply : {command, '$1'} . +commandReplys -> ammsReply : {command, '$1'} . +commandReplys -> notifyReply : {command, '$1'} . +commandReplys -> contextProperty : {context, '$1'} . + +%Add Move and Modify have the same request parameter +ammRequest -> ammToken 'EQUAL' termIDList ammRequestBody : + Descs = merge_AmmRequest_descriptors('$4', []), + make_commandRequest('$1', + #'AmmRequest'{terminationID = '$3', + descriptors = Descs}) . + +ammToken -> 'AddToken' : {addReq, '$1'} . +ammToken -> 'MoveToken' : {moveReq, '$1'} . +ammToken -> 'ModifyToken' : {modReq, '$1'} . + +ammRequestBody -> 'LBRKT' ammParameter ammParameters 'RBRKT' : ['$2' | '$3'] . +ammRequestBody -> '$empty' : [] . + +ammParameters -> 'COMMA' ammParameter ammParameters : ['$2' | '$3'] . +ammParameters -> '$empty' : [] . + +%at-most-once +ammParameter -> mediaDescriptor : {mediaDescriptor, '$1'}. +ammParameter -> modemDescriptor : {modemDescriptor, deprecated}. +ammParameter -> muxDescriptor : {muxDescriptor, '$1'}. +ammParameter -> eventsDescriptor : {eventsDescriptor, '$1'}. +ammParameter -> eventBufferDescriptor : {eventBufferDescriptor, '$1'}. +ammParameter -> signalsDescriptor : {signalsDescriptor, '$1'}. +ammParameter -> digitMapDescriptor : {digitMapDescriptor, '$1'}. +ammParameter -> auditDescriptor : {auditDescriptor, '$1'}. +ammParameter -> statisticsDescriptor : {statisticsDescriptor, '$1'}. + +ammsReply -> ammsToken 'EQUAL' termIDList ammsReplyBody + : {'$1', #'AmmsReply'{terminationID = '$3', + terminationAudit = '$4'}} . + +ammsToken -> 'AddToken' : addReply . +ammsToken -> 'MoveToken' : moveReply . +ammsToken -> 'ModifyToken' : modReply . +ammsToken -> 'SubtractToken' : subtractReply . + +ammsReplyBody -> 'LBRKT' terminationAudit 'RBRKT' : '$2' . +ammsReplyBody -> '$empty' : asn1_NOVALUE . + +subtractRequest -> 'SubtractToken' 'EQUAL' termIDList optAuditDescriptor : + SR = #'SubtractRequest'{terminationID = '$3', + auditDescriptor = '$4'}, + make_commandRequest({subtractReq, '$1'}, SR) . + + +optAuditDescriptor -> 'LBRKT' auditDescriptor 'RBRKT' : '$2'. +optAuditDescriptor -> '$empty' : asn1_NOVALUE . + +auditRequest -> 'AuditValueToken' 'EQUAL' termIDList optAuditDescriptor : + make_commandRequest({auditValueRequest, '$1'}, + make_auditRequest('$3', '$4')) . +auditRequest -> 'AuditCapToken' 'EQUAL' termIDList optAuditDescriptor : + make_commandRequest({auditCapRequest, '$1'}, + make_auditRequest('$3', '$4')) . + +auditReply -> 'AuditValueToken' 'EQUAL' 'CtxToken' contextTerminationAudit : + {auditValueReply, '$4'} . +auditReply -> 'AuditCapToken' 'EQUAL' 'CtxToken' contextTerminationAudit : + {auditCapReply, '$4'} . +auditReply -> 'AuditValueToken' 'EQUAL' auditOther : + {auditValueReply, '$3'} . +auditReply -> 'AuditCapToken' 'EQUAL' auditOther : + {auditCapReply, '$3'} . + +contextTerminationAudit -> terminationIDList : + {contextAuditResult, '$1'} . +contextTerminationAudit -> 'LBRKT' errorDescriptor 'RBRKT' : + {error, '$2'} . + +auditOther -> termIDList : + merge_auditOther('$1', []) . +auditOther -> termIDList 'LBRKT' terminationAudit 'RBRKT' : + merge_auditOther('$1', '$3') . + + +terminationAudit -> auditReturnParameter auditReturnParameterList : + merge_terminationAudit(['$1' |'$2' ]) . + +auditReturnParameterList -> 'COMMA' auditReturnParameter auditReturnParameterList : ['$2' | '$3'] . +auditReturnParameterList -> '$empty' : [] . + +auditReturnParameter -> mediaDescriptor : {mediaDescriptor, '$1'} . +auditReturnParameter -> modemDescriptor. +auditReturnParameter -> muxDescriptor : {muxDescriptor, '$1'} . +auditReturnParameter -> eventsDescriptor : {eventsDescriptor, '$1'} . +auditReturnParameter -> signalsDescriptor : {signalsDescriptor, '$1'} . +auditReturnParameter -> digitMapDescriptor : {digitMapDescriptor, '$1'} . +auditReturnParameter -> observedEventsDescriptor : {observedEventsDescriptor, '$1'} . +auditReturnParameter -> eventBufferDescriptor : {eventBufferDescriptor, '$1'} . +auditReturnParameter -> statisticsDescriptor : {statisticsDescriptor, '$1'} . +auditReturnParameter -> packagesDescriptor : {packagesDescriptor, '$1'} . +auditReturnParameter -> errorDescriptor : {errorDescriptor, '$1'} . +auditReturnParameter -> auditReturnItem : {auditReturnItem, '$1'} . + +auditDescriptor -> 'AuditToken' 'LBRKT' auditDescriptorBody 'RBRKT' : + merge_auditDescriptor('$3') . + +auditDescriptorBody -> auditItem auditItemList : ['$1' | '$2']. +auditDescriptorBody -> '$empty' : asn1_NOVALUE . + +auditItemList -> 'COMMA' auditItem auditItemList : ['$2' | '$3'] . +auditItemList -> '$empty' : [] . + +%% IGv11 - begin +%% +auditReturnItem -> 'MuxToken' : muxToken . +auditReturnItem -> 'ModemToken' : modemToken . +auditReturnItem -> 'MediaToken' : mediaToken . +auditReturnItem -> 'DigitMapToken' : digitMapToken . +auditReturnItem -> 'StatsToken' : statsToken . +auditReturnItem -> 'ObservedEventsToken' : observedEventsToken . +auditReturnItem -> 'PackagesToken' : packagesToken . + +%% at-most-once, and DigitMapToken and PackagesToken are not allowed +%% in AuditCapabilities command +auditItem -> auditReturnItem : '$1' . +auditItem -> 'SignalsToken' : signalsToken. +auditItem -> 'EventBufferToken' : eventBufferToken. +auditItem -> 'EventsToken' : eventsToken . +auditItem -> indAudterminationAudit : {terminationAudit, '$1'} . % v2 +%% +%% IGv11 - end + + +%% v2 - start +%% +indAudterminationAudit -> indAudauditReturnParameter + indAudterminationAuditList + : ['$1' | '$2'] . + +indAudterminationAuditList -> 'COMMA' indAudauditReturnParameter + indAudterminationAuditList + : ['$2' | '$3'] . +indAudterminationAuditList -> '$empty' : [] . + +indAudauditReturnParameter -> indAudmediaDescriptor + : {indAudMediaDescriptor, '$1'} . +indAudauditReturnParameter -> indAudeventsDescriptor + : {indAudEventsDescriptor, '$1'} . +indAudauditReturnParameter -> indAudsignalsDescriptor + : {indAudSignalsDescriptor, '$1'} . +indAudauditReturnParameter -> indAuddigitMapDescriptor + : {indAudDigitMapDescriptor, '$1'} . +indAudauditReturnParameter -> indAudeventBufferDescriptor + : {indAudEventBufferDescriptor, '$1'} . +indAudauditReturnParameter -> indAudstatisticsDescriptor + : {indAudStatisticsDescriptor, '$1'} . +indAudauditReturnParameter -> indAudpackagesDescriptor + : {indAudPackagesDescriptor, '$1'} . + + +indAudmediaDescriptor -> 'MediaToken' 'LBRKT' + indAudmediaParm indAudmediaParms 'RBRKT' + : merge_indAudMediaDescriptor(['$3'|'$4']) . + +%% at-most-once per item +%% and either streamParm or streamDescriptor but not both +%% + +indAudmediaParm -> indAudstreamParm : {streamParm, '$1'} . +indAudmediaParm -> indAudstreamDescriptor : {streamDescr, '$1'} . +indAudmediaParm -> indAudterminationStateDescriptor : {termStateDescr, '$1'} . + +indAudmediaParms -> 'COMMA' indAudmediaParm indAudmediaParms : ['$2' | '$3'] . +indAudmediaParms -> '$empty' : [] . + +%% at-most-once +indAudstreamParm -> 'RemoteDescriptorToken' : + RD = ensure_prop_groups('$1'), + #'IndAudStreamParms'{remoteDescriptor = RD} . +indAudstreamParm -> 'LocalDescriptorToken' : + LD = ensure_prop_groups('$1'), + #'IndAudStreamParms'{localDescriptor = LD} . +indAudstreamParm -> indAudlocalControlDescriptor : + #'IndAudStreamParms'{localControlDescriptor = '$1'} . +indAudstreamParm -> indAudstatisticsDescriptor : + #'IndAudStreamParms'{statisticsDescriptor = '$1'} . + +indAudstreamDescriptor -> 'StreamToken' 'EQUAL' streamID + 'LBRKT' indAudstreamParm 'RBRKT' + : #'IndAudStreamDescriptor'{streamID = '$3', + streamParms = '$5'} . + + +indAudlocalControlDescriptor -> 'LocalControlToken' + 'LBRKT' indAudlocalParm + indAudlocalParmList 'RBRKT' : + merge_indAudLocalControlDescriptor(['$3' | '$4']) . + +indAudlocalParmList -> 'COMMA' indAudlocalParm + indAudlocalParmList : ['$2' | '$3'] . +indAudlocalParmList -> '$empty' : [] . + +%% at-most-once per item +%% +%% propertyparm and streamModes are used only to specify audit selection +%% criteria. AND/OR selection logic is specified at context level. +%% +indAudlocalParm -> 'ReservedGroupToken' : reservedGroupToken . +indAudlocalParm -> 'ReservedValueToken' : reservedValueToken . +indAudlocalParm -> 'ModeToken' : modeToken . +indAudlocalParm -> 'ModeToken' 'EQUAL' streamModes : {mode, {equal, '$3'}} . +indAudlocalParm -> 'ModeToken' 'INEQUAL' streamModes : {mode, {inequal,'$3'}} . +indAudlocalParm -> propertyParm : {prop, '$1'} . +indAudlocalParm -> pkgdName : {name, '$1'} . + +indAudterminationStateDescriptor -> 'TerminationStateToken' + 'LBRKT' indAudterminationStateParm 'RBRKT' + : + merge_indAudTerminationStateDescriptor('$3') . + +%% at-most-once per item +%% + +%% at-most-once per item except for propertyParm +indAudterminationStateParm -> iaServiceStates : '$1' . +indAudterminationStateParm -> 'BufferToken' : bufferToken . +indAudterminationStateParm -> propertyParm : {prop, '$1'} . +indAudterminationStateParm -> pkgdName : {name, '$1'} . + +iaServiceStates -> 'ServiceStatesToken' : + serviceStatesToken . +iaServiceStates -> 'ServiceStatesToken' 'EQUAL' serviceStatesValue : + {serviceStates, {equal, '$3'}} . +iaServiceStates -> 'ServiceStatesToken' 'INEQUAL' serviceStatesValue : + {serviceStates, {inequal, '$3'}} . + +indAudeventBufferDescriptor -> 'EventBufferToken' + 'LBRKT' indAudeventSpec 'RBRKT' : '$3' . + +indAudeventSpec -> pkgdName optIndAudeventSpecParameter + : merge_indAudEventBufferDescriptor('$1','$2') . + +optIndAudeventSpecParameter -> 'LBRKT' indAudeventSpecParameter 'RBRKT' + : '$2' . +optIndAudeventSpecParameter -> '$empty' : asn1_NOVALUE . + + +indAudeventSpecParameter -> eventStream : {streamID, '$1'} . +indAudeventSpecParameter -> eventParameterName : {eventParameterName, '$1'} . + +indAudeventsDescriptor -> 'EventsToken' 'LBRKT' indAudrequestedEvent 'RBRKT' : + #'IndAudEventsDescriptor'{pkgdName = '$3'} . +indAudeventsDescriptor -> 'EventsToken' 'EQUAL' requestID + 'LBRKT' indAudrequestedEvent 'RBRKT' : + #'IndAudEventsDescriptor'{requestID = '$3', + pkgdName = '$5'} . + +indAudrequestedEvent -> pkgdName : '$1' . + + +indAudsignalsDescriptor -> 'SignalsToken' optIndAudsignalParm : '$2' . + + +optIndAudsignalParm -> 'LBRKT' 'RBRKT' : asn1_NOVALUE . +optIndAudsignalParm -> 'LBRKT' indAudsignalParm 'RBRKT' : '$2' . + +indAudsignalParm -> indAudsignalList : {seqSigList, '$1'} . +indAudsignalParm -> signalRequest : {signal, ensure_indAudSignal('$1')} . + +indAudsignalList -> 'SignalListToken' 'EQUAL' signalListId : + #'IndAudSeqSigList'{id = ensure_uint16('$3')} . +indAudsignalList -> 'SignalListToken' 'EQUAL' signalListId + 'LBRKT' signalListParm 'RBRKT' : + #'IndAudSeqSigList'{id = ensure_uint16('$3'), + signalList = + ensure_indAudSignalListParm('$5')} . + + +%% The DigitMapDescriptorToken is specially treated by the scanner +indAuddigitMapDescriptor -> 'DigitMapDescriptorToken' : + ensure_IADMD('$1') . + +indAudstatisticsDescriptor -> 'StatsToken' 'LBRKT' pkgdName 'RBRKT' : + #'IndAudStatisticsDescriptor'{statName = '$3'} . + +indAudpackagesDescriptor -> 'PackagesToken' 'LBRKT' packagesItem 'RBRKT' + : merge_indAudPackagesDescriptor('$3') . + +eventStream -> 'StreamToken' 'EQUAL' streamID : '$3' . + + +%% +%% v2 - end + +notifyRequest -> 'NotifyToken' 'EQUAL' termIDList + 'LBRKT' notifyRequestBody 'RBRKT' : + NR = setelement(#'NotifyRequest'.terminationID, + '$5', '$3'), + make_commandRequest({notifyReq, '$1'}, NR) . + +notifyRequestBody -> observedEventsDescriptor : + #'NotifyRequest'{observedEventsDescriptor = '$1'}. +notifyRequestBody -> errorDescriptor : + #'NotifyRequest'{errorDescriptor = '$1'}. + +notifyReply -> 'NotifyToken' 'EQUAL' termIDList notifyReplyBody : + {notifyReply, #'NotifyReply'{terminationID = '$3', + errorDescriptor = '$4'}} . + +notifyReplyBody -> 'LBRKT' errorDescriptor 'RBRKT' : '$2'. +notifyReplyBody -> '$empty' : asn1_NOVALUE . + +serviceChangeRequest -> 'ServiceChangeToken' 'EQUAL' termIDList + 'LBRKT' serviceChangeDescriptor 'RBRKT' : + make_commandRequest({serviceChangeReq, '$1'}, + #'ServiceChangeRequest'{terminationID = '$3', + serviceChangeParms = '$5'}) . + +serviceChangeReply -> 'ServiceChangeToken' 'EQUAL' termIDList + serviceChangeReplyBody : + {serviceChangeReply, + #'ServiceChangeReply'{terminationID = '$3', + serviceChangeResult = '$4'}} . + +serviceChangeReplyBody -> 'LBRKT' errorDescriptor 'RBRKT' : + {errorDescriptor, '$2'} . +serviceChangeReplyBody -> 'LBRKT' serviceChangeReplyDescriptor 'RBRKT' : + {serviceChangeResParms, '$2'} . +serviceChangeReplyBody -> '$empty' : + {serviceChangeResParms, #'ServiceChangeResParm'{}}. + +errorDescriptor -> 'ErrorToken' 'EQUAL' errorCode 'LBRKT' + errorText 'RBRKT' : + #'ErrorDescriptor'{errorCode = '$3', + errorText = '$5'} . + +errorCode -> safeToken : ensure_uint('$1', 0, 999) . + +errorText -> 'QuotedChars' : value_of('$1') . +errorText -> '$empty' : asn1_NOVALUE . + +transactionID -> safeToken : ensure_uint32('$1') . +transactionID_and_segment_info -> safeToken : + make_transactionID_and_segment_info('$1') . + +mId -> domainName : '$1' . +mId -> domainAddress : '$1' . +mId -> optSep mtpAddress optSep : '$2' . +mId -> optSep deviceName optSep : '$2' . + +domainName -> 'LESSER' safeToken 'GREATER' 'COLON' portNumber optSep + : ensure_domainName('$2', '$5') . +domainName -> 'LESSER' safeToken 'GREATER' + : ensure_domainName('$2', asn1_NOVALUE) . + +deviceName -> pathName : {deviceName, '$1'} . + +%% '-' is used for NULL context +contextID -> safeToken : ensure_contextID('$1') . + +domainAddress -> 'LSBRKT' daddr 'RSBRKT' 'COLON' portNumber optSep + : ensure_domainAddress('$2', '$5') . +domainAddress -> 'LSBRKT' daddr 'RSBRKT' + : ensure_domainAddress('$2', asn1_NOVALUE) . + +daddr -> '$empty' : [] . +daddr -> 'COLON' daddr : [colon| '$2'] . +daddr -> safeToken daddr : ['$1'| '$2'] . + + +portNumber -> safeToken : ensure_uint16('$1') . + +mtpAddress -> 'MtpAddressToken' : ensure_mtpAddress('$1') . + +termIDList -> terminationID : ['$1'] . +termIDList -> LSBRKT terminationID terminationIDListRepeat RSBRKT : + ['$2' | '$3'] . + +terminationIDList -> 'LBRKT' terminationID terminationIDListRepeat 'RBRKT' : + ['$2' | '$3'] . + +terminationIDListRepeat -> 'COMMA' terminationID terminationIDListRepeat : + ['$2'| '$3'] . +terminationIDListRepeat -> '$empty' : [] . + + +pathName -> safeToken : ensure_pathName('$1') . + +terminationID -> safeToken : ensure_terminationID('$1') . + +mediaDescriptor -> 'MediaToken' 'LBRKT' mediaParm mediaParmList 'RBRKT' + : merge_mediaDescriptor(['$3' | '$4']) . + +mediaParmList -> 'COMMA' mediaParm mediaParmList : ['$2' | '$3'] . +mediaParmList -> '$empty' : [] . + + +%% at-most-once per item +%% using either streamParms or streamDescriptors but not both +mediaParm -> streamParm + : {streamParm, '$1'} . +mediaParm -> streamDescriptor + : {streamDescriptor, '$1'} . +mediaParm -> terminationStateDescriptor + : {termState, '$1'} . + +%% at-most-once . +%% Specially treated by the scanner. +streamParm -> 'LocalDescriptorToken' : + PGs = ensure_prop_groups('$1'), + {local, #'LocalRemoteDescriptor'{propGrps = PGs}} . +streamParm -> 'RemoteDescriptorToken' : + PGs = ensure_prop_groups('$1'), + {remote, #'LocalRemoteDescriptor'{propGrps = PGs}} . +streamParm -> localControlDescriptor : {control, '$1'} . +streamParm -> statisticsDescriptor : {statistics, '$1'} . + +streamDescriptor -> 'StreamToken' 'EQUAL' streamID + 'LBRKT' streamParm streamParmList 'RBRKT' + : #'StreamDescriptor'{streamID = '$3', + streamParms = merge_streamParms(['$5' | '$6'])} . + +streamParmList -> 'COMMA' streamParm streamParmList : ['$2' | '$3'] . +streamParmList -> '$empty' : [] . + +localControlDescriptor -> 'LocalControlToken' 'LBRKT' localParm localParmList 'RBRKT' + : ['$3' | '$4'] . + +localParmList -> 'COMMA' localParm localParmList : ['$2' | '$3'] . +localParmList -> '$empty': [] . + +terminationStateDescriptor -> 'TerminationStateToken' + 'LBRKT' terminationStateParm + terminationStateParms 'RBRKT' + : merge_terminationStateDescriptor(['$3' | '$4']) . + +terminationStateParms -> 'COMMA' terminationStateParm terminationStateParms : ['$2' | '$3'] . +terminationStateParms -> '$empty' : [] . + +%% at-most-once per item except for propertyParm +localParm -> 'ReservedGroupToken' 'EQUAL' onOrOff : {group, '$3'} . +localParm -> 'ReservedValueToken' 'EQUAL' onOrOff : {value, '$3'} . +localParm -> 'ModeToken' 'EQUAL' streamModes : {mode, '$3'} . +localParm -> propertyParm : {prop, '$1'} . + +onOrOff -> 'OnToken' : true . +onOrOff -> 'OffToken' : false . + +%% at-most-once +streamModes -> 'SendonlyToken' : sendOnly . +streamModes -> 'RecvonlyToken' : recvOnly . +streamModes -> 'SendrecvToken' : sendRecv . +streamModes -> 'InactiveToken' : inactive . +streamModes -> 'LoopbackToken' : loopBack . + +propertyParm -> pkgdName parmValue : + setelement(#'PropertyParm'.name, '$2', '$1') . + +parmValue -> 'EQUAL' alternativeValue : + '$2' . + +parmValue -> 'NEQUAL' value : + #'PropertyParm'{value = ['$2'], + extraInfo = {relation, unequalTo}} . +parmValue -> 'LESSER' value : + #'PropertyParm'{value = ['$2'], + extraInfo = {relation, smallerThan}} . +parmValue -> 'GREATER' value : + #'PropertyParm'{value = ['$2'], + extraInfo = {relation, greaterThan}} . + +%% OTP-4013 +%% alternativeValue = ( VALUE / +%% LSBRKT VALUE *(COMMA VALUE) RSBRKT / +%% LSBRKT VALUE COLON VALUE RSBRKT ) / +%% LBRKT VALUE *(COMMA VALUE) RBRKT +alternativeValue -> 'LBRKT' value valueList 'RBRKT' + : #'PropertyParm'{value = ['$2' | '$3'], + extraInfo = {sublist, false}}. % OR + +alternativeValue -> 'LSBRKT' value 'COLON' value 'RSBRKT' + : #'PropertyParm'{value = ['$2', '$4'], + extraInfo = {range, true}}. + +alternativeValue -> 'LSBRKT' value valueList 'RSBRKT' + : #'PropertyParm'{value = ['$2' | '$3'], + extraInfo = {sublist, true}}. % AND + +alternativeValue -> value : + #'PropertyParm'{value = ['$1']} . + +valueList -> 'COMMA' value valueList : ['$2' | '$3'] . +valueList -> '$empty' : [] . + + +eventBufferDescriptor -> 'EventBufferToken' : [] . +eventBufferDescriptor -> 'EventBufferToken' 'LBRKT' eventSpec + eventSpecList 'RBRKT' : + ['$3' | '$4'] . + +eventSpecList -> 'COMMA' eventSpec eventSpecList : ['$2' | '$3'] . +eventSpecList -> '$empty' : [] . + +eventSpec -> observedEvent : merge_eventSpec('$1') . + +%% at-most-once per item except for propertyParm +terminationStateParm -> serviceStates : {serviceState, '$1'} . +terminationStateParm -> eventBufferControl : {eventBufferControl, '$1'} . +terminationStateParm -> propertyParm : {propertyParm, '$1'} . + +serviceStates -> 'ServiceStatesToken' 'EQUAL' serviceStatesValue : '$3'. + +serviceStatesValue -> 'TestToken' : test . +serviceStatesValue -> 'OutOfSvcToken' : outOfSvc . +serviceStatesValue -> 'InSvcToken' : inSvc . + +eventBufferControl -> 'BufferToken' 'EQUAL' eventBufferControlValue : '$3' . + +eventBufferControlValue -> 'OffToken' : off . +eventBufferControlValue -> 'LockStepToken' : lockStep . + +muxDescriptor -> 'MuxToken' 'EQUAL' muxType terminationIDList : + #'MuxDescriptor'{muxType = '$3', + termList = '$4'} . + +muxType -> safeToken : ensure_muxType('$1') . + +streamID -> safeToken : ensure_streamID('$1') . + +pkgdName -> safeToken : ensure_pkgdName('$1') . + +eventsDescriptor -> 'EventsToken' : + #'EventsDescriptor'{requestID = asn1_NOVALUE, + eventList = []} . +eventsDescriptor -> 'EventsToken' 'EQUAL' requestID + 'LBRKT' requestedEvent requestedEvents 'RBRKT' : + #'EventsDescriptor'{requestID = '$3', + eventList = ['$5' | '$6']} . + +requestedEvents -> 'COMMA' requestedEvent requestedEvents : ['$2' | '$3'] . +requestedEvents -> '$empty' : [] . + +requestedEvent -> pkgdName requestedEventBody : + setelement(#'RequestedEvent'.pkgdName, '$2', '$1') . + +requestedEventBody -> 'LBRKT' eventParameter eventParameters 'RBRKT' : + merge_eventParameters(['$2' | '$3']) . +requestedEventBody -> '$empty' : #'RequestedEvent'{evParList = []} . + + +notifyRegulated -> 'NotifyRegulatedToken' : + #'RegulatedEmbeddedDescriptor'{} . +notifyRegulated -> 'NotifyRegulatedToken' 'LBRKT' embedWithSig 'RBRKT' : + make_RegulatedEmbeddedDescriptor('$3') . +notifyRegulated -> 'NotifyRegulatedToken' 'LBRKT' embedNoSig 'RBRKT' : + make_RegulatedEmbeddedDescriptor('$3') . + +notifyBehaviour -> 'NotifyImmediateToken' : {notifyImmediate, 'NULL'} . +notifyBehaviour -> 'NeverNotifyToken' : {neverNotify, 'NULL'} . +notifyBehaviour -> notifyRegulated : {notifyRegulated, '$1'} . + +eventParameters -> 'COMMA' eventParameter eventParameters : + ['$2' | '$3'] . +eventParameters -> '$empty' : [] . + +%% at-most-once each of embedOrKeepActive , eventDM or eventStream +eventParameter -> 'KeepActiveToken' : keepActive . +eventParameter -> embedWithSig : '$1'. +eventParameter -> embedNoSig : '$1'. +eventParameter -> eventDM : '$1'. +eventParameter -> eventStreamOrOther : '$1'. +eventParameter -> notifyBehaviour : {notifyBehaviour, '$1'}. +eventParameter -> 'ResetEventsDescriptorToken' : resetEventsDescriptor . + +embedWithSig -> 'EmbedToken' 'LBRKT' signalsDescriptor + 'COMMA' embedFirst 'RBRKT' + : {embed, '$3', '$5'} . +embedWithSig -> 'EmbedToken' 'LBRKT' signalsDescriptor 'RBRKT' + : {embed, '$3', asn1_NOVALUE} . + +embedNoSig -> 'EmbedToken' 'LBRKT' embedFirst 'RBRKT' + : {embed, asn1_NOVALUE, '$3'} . + +embedFirst -> 'EventsToken' : + #'SecondEventsDescriptor'{requestID = asn1_NOVALUE, + eventList = []} . +embedFirst -> 'EventsToken' 'EQUAL' requestID + 'LBRKT' secondRequestedEvent secondRequestedEvents 'RBRKT' : + #'SecondEventsDescriptor'{requestID = '$3', + eventList = ['$5' | '$6']} . + +secondRequestedEvents -> 'COMMA' secondRequestedEvent secondRequestedEvents : ['$2' | '$3'] . +secondRequestedEvents -> '$empty' : [] . + +%% at-most-once of each +secondRequestedEvent -> pkgdName secondRequestedEventBody + : setelement(#'SecondRequestedEvent'.pkgdName, '$2', '$1') . + +secondRequestedEventBody -> 'LBRKT' secondEventParameter secondEventParameters 'RBRKT' + : merge_secondEventParameters(['$2' | '$3']) . +secondRequestedEventBody -> '$empty' : #'SecondRequestedEvent'{evParList = []} . + +secondEventParameters -> 'COMMA' secondEventParameter secondEventParameters : ['$2' | '$3'] . +secondEventParameters -> '$empty' : [] . + +%% at-most-once each of embedOrKeepActive , eventDM or eventStream +secondEventParameter -> 'KeepActiveToken' : keepActive . +secondEventParameter -> embedSig : '$1' . +secondEventParameter -> eventDM : '$1' . +secondEventParameter -> eventStreamOrOther : '$1' . +secondEventParameter -> notifyBehaviour : {notifyBehaviour, '$1'}. +secondEventParameter -> 'ResetEventsDescriptorToken' : resetEventsDescriptor . + +embedSig -> 'EmbedToken' 'LBRKT' signalsDescriptor 'RBRKT' + : {second_embed, '$3'} . + +eventStreamOrOther -> eventParameterName parmValue : + select_stream_or_other('$1', '$2') . + +eventParameterName -> safeToken : ensure_NAME('$1') . + +%% The DigitMapDescriptorToken is specially treated by the scanner +eventDM -> 'DigitMapDescriptorToken' : + ensure_eventDM('$1') . + +%% H248S-IG (IGv11) +signalsDescriptor -> 'SignalsToken' 'LBRKT' signalParm signalParms 'RBRKT' : + ['$3' | '$4'] . +signalsDescriptor -> 'SignalsToken' : [] . + +signalParms -> 'COMMA' signalParm signalParms : [ '$2' | '$3'] . +signalParms -> '$empty' : [] . + +signalParm -> signalList : {seqSigList, '$1'} . +signalParm -> signalRequest : {signal, '$1'} . + +signalRequest -> signalName 'LBRKT' sigParameter sigParameters 'RBRKT' + : merge_signalRequest('$1', ['$3' | '$4']). +signalRequest -> signalName : merge_signalRequest('$1', []). + +sigParameters -> 'COMMA' sigParameter sigParameters : ['$2' | '$3'] . +sigParameters -> '$empty' : [] . + +%% sigParameter = sigStream / sigSignalType / sigDuration / sigOther / +%% notifyCompletion / KeepActiveToken / +%% direction / sigRequestID +%% sigStream = StreamToken EQUAL StreamID +%% sigOther = sigParameterName parmValue +%% sigParameterName = NAME +%% sigSignalType = SignalTypeToken EQUAL signalType +%% signalType = (OnOffToken / TimeOutToken / BriefToken) +%% sigDuration = DurationToken EQUAL UINT16 +%% notifyCompletion = NotifyCompletionToken EQUAL (LBRKT +%% notificationReason *(COMMA notificationReason) +%% RBRKT) +%% +%% notificationReason = ( TimeOutToken / InterruptByEventToken / +%% InterruptByNewSignalsDescrToken / +%% OtherReasonToken ) +%% sigDirection = DirectionToken EQUAL direction +%% sigRequestID = RequestIDToken EQUAL RequestID +%% sigIntsigDelay = IntsigDelayToken EQUAL UINT16 + +sigParameter -> 'StreamToken' 'EQUAL' streamID : + {stream, '$3'}. +sigParameter -> 'SignalTypeToken' 'EQUAL' signalType : + {signal_type, '$3'} . +sigParameter -> 'DurationToken' 'EQUAL' safeToken : + {duration, ensure_uint16('$3')} . +sigParameter -> 'NotifyCompletionToken' 'EQUAL' + 'LBRKT' notificationReason notificationReasons 'RBRKT' : + {notify_completion, ['$4' | '$5']} . +sigParameter -> 'KeepActiveToken' : keepActive . +sigParameter -> 'DirectionToken' 'EQUAL' direction : + {direction, '$3'} . +sigParameter -> 'RequestIDToken' 'EQUAL' requestID : + {requestId, '$3'} . +sigParameter -> 'IntsigDelayToken' 'EQUAL' safeToken : + {intersigDelay, ensure_uint16('$3')} . +sigParameter -> safeToken parmValue : + {other, ensure_NAME('$1'), '$2'}. + +signalType -> 'OnOffToken' : onOff. +signalType -> 'TimeOutToken' : timeOut. +signalType -> 'BriefToken' : brief. + +direction -> 'ExternalToken' : external . +direction -> 'InternalToken' : internal . +direction -> 'BothToken' : both . + +notificationReasons -> 'COMMA' notificationReason notificationReasons : ['$2' | '$3'] . +notificationReasons -> '$empty' : [] . + +notificationReason -> 'TimeOutToken' : onTimeOut . +notificationReason -> 'InterruptByEventToken' : onInterruptByEvent . +notificationReason -> 'InterruptByNewSignalsDescrToken' : onInterruptByNewSignalDescr . +notificationReason -> 'OtherReasonToken' : otherReason . +notificationReason -> 'IterationToken' : iteration . + +signalList -> 'SignalListToken' 'EQUAL' signalListId + 'LBRKT' signalListParm signalListParms 'RBRKT' + : #'SeqSigList'{id = ensure_uint16('$3'), + signalList = ['$5' | '$6']} . + +signalListParms -> 'COMMA' signalListParm signalListParms : + ['$2' | '$3'] . +signalListParms -> '$empty' : [] . + +signalListId -> safeToken : ensure_uint16('$1') . + +%% exactly once signalType, +%% at most once duration and every signal parameter +signalListParm -> signalRequest : '$1'. + +signalName -> pkgdName : '$1'. + +observedEventsDescriptor -> 'ObservedEventsToken' 'EQUAL' requestID + 'LBRKT' observedEvent observedEvents 'RBRKT' + : #'ObservedEventsDescriptor'{requestId = '$3', + observedEventLst = ['$5' | '$6']} . + +observedEvents -> 'COMMA' observedEvent observedEvents : ['$2' | '$3'] . +observedEvents -> '$empty' : [] . + +%%time per event, because it might be buffered + +observedEvent -> timeStamp optSep 'COLON' optSep pkgdName observedEventBody : + merge_observed_event('$6', '$5', '$1') . +observedEvent -> optSep pkgdName observedEventBody : + merge_observed_event('$3', '$2', asn1_NOVALUE) . + +observedEventBody -> 'LBRKT' observedEventParameter + observedEventParameters 'RBRKT' + : ['$2' | '$3'] . +observedEventBody -> '$empty' : [] . + +observedEventParameters -> 'COMMA' observedEventParameter observedEventParameters : ['$2' | '$3'] . +observedEventParameters -> '$empty' : [] . + +%%at-most-once eventStream, every eventParameterName at most once +observedEventParameter -> eventStreamOrOther : '$1' . + +requestID -> safeToken : ensure_requestID('$1') . + +%% Deprecated as of Corr 1 +modemDescriptor -> 'ModemToken' 'EQUAL' modemType optPropertyParms . +modemDescriptor -> 'ModemToken' 'LSBRKT' modemType modemTypeList 'RSBRKT' + optPropertyParms. +modemTypeList -> 'COMMA' modemType modemTypeList. +modemTypeList -> '$empty'. +modemType -> safeToken. + +optPropertyParms -> 'LBRKT' propertyParm propertyParmList 'RBRKT' : + ['$2' | '$3'] . +optPropertyParms -> '$empty' : [] . + +propertyParms -> propertyParm propertyParmList : ['$1' | '$2'] . +propertyParmList -> 'COMMA' propertyParm propertyParmList : ['$2' | '$3'] . +propertyParmList -> '$empty' : [] . + +% parmName -> safeToken : ensure_NAME('$1') . + +%% The DigitMapDescriptorToken is specially treated by the scanner +digitMapDescriptor -> 'DigitMapDescriptorToken' : + ensure_DMD('$1') . + +%% each parameter at-most-once, except auditItem +%% at most one of either serviceChangeAddress or serviceChangeMgcId but +%% not both. serviceChangeMethod and serviceChangeReason are REQUIRED +serviceChangeDescriptor -> 'ServicesToken' + 'LBRKT' serviceChangeParm + serviceChangeParms 'RBRKT' : + merge_ServiceChangeParm(['$3' | '$4']) . + +serviceChangeParms -> 'COMMA' serviceChangeParm serviceChangeParms : + ['$2' | '$3'] . +serviceChangeParms -> '$empty' : [] . + +serviceChangeParm -> serviceChangeMethod : {method, '$1'} . +serviceChangeParm -> serviceChangeReason : {reason, '$1'} . +serviceChangeParm -> serviceChangeDelay : {delay, '$1'} . +serviceChangeParm -> serviceChangeAddress : {address, '$1'} . +serviceChangeParm -> serviceChangeProfile : {profile, '$1'} . +serviceChangeParm -> extension : {extension, '$1'} . +serviceChangeParm -> timeStamp : {time_stamp, '$1'} . +serviceChangeParm -> serviceChangeMgcId : {mgc_id, '$1'} . +serviceChangeParm -> serviceChangeVersion : {version, '$1'} . +serviceChangeParm -> 'ServiceChangeIncompleteToken' : incomplete . % v3 +serviceChangeParm -> auditItem : {audit_item, '$1'} . % v2 + +serviceChangeMethod -> 'MethodToken' 'EQUAL' safeToken : + ensure_serviceChangeMethod('$3') . + +serviceChangeReason -> 'ReasonToken' 'EQUAL' value : ['$3'] . + +serviceChangeDelay -> 'DelayToken' 'EQUAL' safeToken : ensure_uint32('$3'). + +serviceChangeAddress -> 'ServiceChangeAddressToken' 'EQUAL' mId : '$3' . +serviceChangeAddress -> 'ServiceChangeAddressToken' 'EQUAL' portNumber : + {portNumber, '$3'} . + +serviceChangeMgcId -> 'MgcIdToken' 'EQUAL' mId : '$3' . + +serviceChangeProfile -> 'ProfileToken' 'EQUAL' safeToken : ensure_profile('$3'). + +serviceChangeVersion -> 'VersionToken' 'EQUAL' safeToken : ensure_version('$3') . + +extension -> extensionParameter parmValue + : setelement(#'PropertyParm'.name, '$2', '$1') . + +%% at most once. Version is REQUIRED on first ServiceChange response +%% at most of either serviceChangeAddress or serviceChangeMgcId but not both +serviceChangeReplyDescriptor -> 'ServicesToken' + 'LBRKT' servChgReplyParm + servChgReplyParms 'RBRKT' : + merge_ServiceChangeResParm(['$3' | '$4']) . + +servChgReplyParms -> 'COMMA' servChgReplyParm servChgReplyParms : + ['$2' | '$3'] . +servChgReplyParms -> '$empty' : [] . + +servChgReplyParm -> serviceChangeAddress : {address, '$1'} . +servChgReplyParm -> serviceChangeMgcId : {mgc_id, '$1'} . +servChgReplyParm -> serviceChangeProfile : {profile, '$1'} . +servChgReplyParm -> serviceChangeVersion : {version, '$1'} . +servChgReplyParm -> timeStamp : {time_stamp,'$1'} . + +packagesDescriptor -> 'PackagesToken' 'LBRKT' packagesItem + packagesItems 'RBRKT' + : ['$3' | '$4'] . + +packagesItems -> 'COMMA' packagesItem packagesItems : ['$2' | '$3'] . +packagesItems -> '$empty' : [] . + +packagesItem -> safeToken : ensure_packagesItem('$1') . + +timeStamp -> TimeStampToken : ensure_timeStamp('$1') . + +statisticsDescriptor -> 'StatsToken' + 'LBRKT' statisticsParameter + statisticsParameters 'RBRKT' + : ['$3' | '$4'] . + +statisticsParameters -> 'COMMA' statisticsParameter statisticsParameters : ['$2' | '$3'] . +statisticsParameters -> '$empty' : [] . + +%%at-most-once per item +statisticsParameter -> pkgdName : + #'StatisticsParameter'{statName = '$1', + statValue = asn1_NOVALUE} . +statisticsParameter -> pkgdName 'EQUAL' value : + #'StatisticsParameter'{statName = '$1', + statValue = ['$3']} . +statisticsParameter -> pkgdName 'EQUAL' 'LSBRKT' value valueList 'RSBRKT' : + #'StatisticsParameter'{statName = '$1', + statValue = ['$4' | '$5']} . + + +topologyDescriptor -> 'TopologyToken' 'LBRKT' + topologyDescComp topologyDescCompList 'RBRKT' : + merge_topologyDescriptor(['$3' | '$4']) . + +topologyDescComp -> terminationID : {tid, '$1'} . +topologyDescComp -> eventStream : {sid, '$1'} . +topologyDescComp -> topologyDirection : '$1' . + +topologyDescCompList -> '$empty' : [] . +topologyDescCompList -> 'COMMA' topologyDescComp topologyDescCompList : + ['$2' | '$3'] . + +topologyDirection -> 'BothwayToken' : {direction, bothway} . +topologyDirection -> 'IsolateToken' : {direction, isolate} . +topologyDirection -> 'OnewayToken' : {direction, oneway} . +topologyDirection -> 'OnewayExternalToken' : {direction_ext, onewayexternal} . +topologyDirection -> 'OnewayBothToken' : {direction_ext, onewayboth} . + +iepsValue -> 'IEPSToken' 'EQUAL' onOrOff : '$3' . + +emergencyValue -> 'EmergencyValueToken' 'EQUAL' 'EmergencyToken' : true . +emergencyValue -> 'EmergencyValueToken' 'EQUAL' 'EmergencyOffToken' : false . + +priority -> 'PriorityToken' 'EQUAL' safeToken : ensure_uint16('$3') . + +extensionParameter -> safeToken : ensure_extensionParameter('$1') . + +value -> 'QuotedChars' : ensure_value('$1') . +value -> safeToken : ensure_value('$1'). + +safeToken -> safeToken2 : make_safe_token('$1') . + +safeToken2 -> 'SafeChars' : '$1' . +%% BMK BMK safeToken2 -> 'AddToken' : '$1' . +safeToken2 -> 'AuditToken' : '$1' . +safeToken2 -> 'AuditCapToken' : '$1' . +safeToken2 -> 'AuditValueToken' : '$1' . +safeToken2 -> 'AuthToken' : '$1' . +safeToken2 -> 'BothToken' : '$1' . % v3 +%% v3-safeToken2 -> 'BothwayToken' : '$1' . +safeToken2 -> 'BriefToken' : '$1' . +%% v3-safeToken2 -> 'BufferToken' : '$1' . +safeToken2 -> 'CtxToken' : '$1' . +%% v3-safeToken2 -> 'ContextAttrToken' : '$1' . % v3 +safeToken2 -> 'ContextAuditToken' : '$1' . +%% v3-safeToken2 -> 'ContextListToken' : '$1' . % v3 +%% v2-safeToken2 -> 'DigitMapToken' : '$1' . +%% safeToken2 -> 'DigitMapDescriptorToken' : '$1' . +%% v3- +safeToken2 -> 'DirectionToken' : '$1' . % v3 +safeToken2 -> 'DiscardToken' : '$1' . +safeToken2 -> 'DisconnectedToken' : '$1' . +safeToken2 -> 'DelayToken' : '$1' . +safeToken2 -> 'DurationToken' : '$1' . +safeToken2 -> 'EmbedToken' : '$1' . +%% BMK BMK safeToken2 -> 'EmergencyToken' : '$1' . +%% BMK BMK safeToken2 -> 'EmergencyOffToken' : '$1' . +safeToken2 -> 'ErrorToken' : '$1' . +%% v2-safeToken2 -> 'EventBufferToken' : '$1' . +%% v2-safeToken2 -> 'EventsToken' : '$1' . +%% v3-safeToken2 -> 'ExternalToken' : '$1' . % v3 +safeToken2 -> 'FailoverToken' : '$1' . +safeToken2 -> 'ForcedToken' : '$1' . +safeToken2 -> 'GracefulToken' : '$1' . +safeToken2 -> 'H221Token' : '$1' . +safeToken2 -> 'H223Token' : '$1' . +safeToken2 -> 'H226Token' : '$1' . +safeToken2 -> 'HandOffToken' : '$1' . +%% v3-safeToken2 -> 'IEPSToken' : '$1' . % v3 +safeToken2 -> 'ImmAckRequiredToken' : '$1' . +safeToken2 -> 'InactiveToken' : '$1' . +%% v3-safeToken2 -> 'InternalToken' : '$1' . % v3 +safeToken2 -> 'InterruptByEventToken' : '$1' . +safeToken2 -> 'InterruptByNewSignalsDescrToken' : '$1' . +%% v3-safeToken2 -> 'IsolateToken' : '$1' . +safeToken2 -> 'InSvcToken' : '$1' . +safeToken2 -> 'KeepActiveToken' : '$1' . +%% safeToken2 -> 'LocalToken' : '$1' . +%% safeToken2 -> 'LocalDescriptorToken' : '$1' . +safeToken2 -> 'LocalControlToken' : '$1' . +safeToken2 -> 'LoopbackToken' : '$1' . +safeToken2 -> 'LockStepToken' : '$1' . +%% v2-safeToken2 -> 'MediaToken' : '$1' . +%% safeToken2 -> 'MegacopToken' : '$1' . +safeToken2 -> 'MethodToken' : '$1' . +safeToken2 -> 'MgcIdToken' : '$1' . +%% v3-safeToken2 -> 'ModeToken' : '$1' . +%% BMK BMK safeToken2 -> 'ModifyToken' : '$1' . +%% v2-safeToken2 -> 'ModemToken' : '$1' . +%% BMK BMK safeToken2 -> 'MoveToken' : '$1' . +%% safeToken2 -> 'MtpToken' : '$1' . +%% safeToken2 -> 'MtpAddressToken' : '$1' . +%% v2-safeToken2 -> 'MuxToken' : '$1' . +safeToken2 -> 'NotifyToken' : '$1' . +safeToken2 -> 'NotifyCompletionToken' : '$1' . +safeToken2 -> 'Nx64Token' : '$1' . +%% v2-safeToken2 -> 'ObservedEventsToken' : '$1' . +%% v3-safeToken2 -> 'OnewayToken' : '$1' . +%% v3-safeToken2 -> 'OnewayExternalToken' : '$1' . +%% v3-safeToken2 -> 'OnewayBothToken' : '$1' . +safeToken2 -> 'OffToken' : '$1' . +safeToken2 -> 'OnToken' : '$1' . +safeToken2 -> 'OnOffToken' : '$1' . +safeToken2 -> 'OutOfSvcToken' : '$1' . +safeToken2 -> 'OtherReasonToken' : '$1' . +%% v2-safeToken2 -> 'PackagesToken' : '$1' . +safeToken2 -> 'PendingToken' : '$1' . +%% BMK BMK safeToken2 -> 'PriorityToken' : '$1' . +safeToken2 -> 'ProfileToken' : '$1' . +safeToken2 -> 'ReasonToken' : '$1' . +safeToken2 -> 'RecvonlyToken' : '$1' . +safeToken2 -> 'ReplyToken' : '$1' . +%% v3- +safeToken2 -> 'RequestIDToken' : '$1' . % v3 +safeToken2 -> 'ResponseAckToken' : '$1' . +safeToken2 -> 'RestartToken' : '$1' . +%% safeToken2 -> 'RemoteToken' : '$1' . +%% safeToken2 -> 'RemoteDescriptorToken' : '$1' . +%% v3-safeToken2 -> 'ReservedGroupToken' : '$1' . +%% v3-safeToken2 -> 'ReservedValueToken' : '$1' . +safeToken2 -> 'SendonlyToken' : '$1' . +safeToken2 -> 'SendrecvToken' : '$1' . +safeToken2 -> 'ServicesToken' : '$1' . +%% v3-safeToken2 -> 'ServiceStatesToken' : '$1' . +safeToken2 -> 'ServiceChangeToken' : '$1' . +%% v3-safeToken2 -> 'ServiceChangeIncompleteToken' : '$1' . % v3 +safeToken2 -> 'ServiceChangeAddressToken' : '$1' . +safeToken2 -> 'SignalListToken' : '$1' . +%% v2-safeToken2 -> 'SignalsToken' : '$1' . +safeToken2 -> 'SignalTypeToken' : '$1' . +%% v2-safeToken2 -> 'StatsToken' : '$1' . +safeToken2 -> 'StreamToken' : '$1' . +%% BMK BMK safeToken2 -> 'SubtractToken' : '$1' . +safeToken2 -> 'SynchISDNToken' : '$1' . +safeToken2 -> 'TerminationStateToken' : '$1' . +safeToken2 -> 'TestToken' : '$1' . +safeToken2 -> 'TimeOutToken' : '$1' . +%% BMK BMK safeToken2 -> 'TopologyToken' : '$1' . +safeToken2 -> 'TransToken' : '$1' . +safeToken2 -> 'V18Token' : '$1' . +safeToken2 -> 'V22Token' : '$1' . +safeToken2 -> 'V22bisToken' : '$1' . +safeToken2 -> 'V32Token' : '$1' . +safeToken2 -> 'V32bisToken' : '$1' . +safeToken2 -> 'V34Token' : '$1' . +safeToken2 -> 'V76Token' : '$1' . +safeToken2 -> 'V90Token' : '$1' . +safeToken2 -> 'V91Token' : '$1' . +safeToken2 -> 'VersionToken' : '$1' . + +Erlang code. + +%% The following directive is needed for (significantly) faster compilation +%% of the generated .erl file by the HiPE compiler. Please do not remove. +-compile([{hipe,[{regalloc,linear_scan}]}]). + +-include("megaco_text_parser_v3.hrl"). + + |