%%
%% %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 93.
%%----------------------------------------------------------------------
%% 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
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
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'
'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'
'SendonlyToken'
'SendrecvToken'
'ServiceChangeAddressToken'
'ServiceChangeToken'
'ServiceChangeIncompleteToken'
'ServiceStatesToken'
'ServicesToken'
'SignalListToken'
'SignalTypeToken'
'SignalsToken'
'StatsToken'
'StreamToken'
'SubtractToken'
'SynchISDNToken'
'TerminationStateToken'
'TestToken'
'TimeOutToken'
'TimeStampToken'
'TopologyToken'
'TransToken'
'V18Token'
'V22Token'
'V22bisToken'
'V32Token'
'V32bisToken'
'V34Token'
'V76Token'
'V90Token'
'V91Token'
'VersionToken'
'MessageSegmentToken' %% OTP-7534: v3-fix
'SegmentationCompleteToken' %% OTP-7534: v3-fix
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'} .
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
'LBRKT'
optImmAckRequired transactionReplyBody
'RBRKT'
: #'TransactionReply'{transactionId = '$3',
immAckRequired = '$5',
transactionResult = '$6'} .
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') .
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' .
%% <OTP-7534>
safeToken2 -> 'MessageSegmentToken' : '$1' . % v3
safeToken2 -> 'SegmentationCompleteToken' : '$1' . % v3
%% </OTP-7534>
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_prev3c.hrl").
