PECOS in a Nutshell
Thomas Genßler, Alexander Christoph, Benedikt Schulz, Michael R. Winter, Chris M. Stich, Christian Zeidler, Péter Müller, Andreas Stelter, Oscar Nierstrasz, Sté́phane Ducasse, Gabriela Arévalo, Roel Wuyts, Peng Liang, Bastiaan Schönhage, R. van den Born · BORIS (University Library Bern) · 2002
COMPONENT identifier isList hasPropertySets abstractComponentBody componentType : PASSIVE | ACTIVE | EVENT | isList : (IS abstractComponentNames | ) hasPropertySets : (HAS propertySetNames | ) 71 componentBody : { (propertySettings | ) (portDecl | instance | connector | ;)* } abstractComponentBody : { (propertySettings | ) (portDecl | instance | role | connector | ;)* } abstractComponentNames : abstractComponentName (COMMA abstractComponentName)* abstractComponentName : Identifier propertySettings returns : PROPERTIES { (propertyStatement | ;)* } componentName : Identifier portDecl : portOption portType dataType Identifier hasPropertySets portBody portOption : OPTIONAL | MANDATORY | portType : IN | OUT | INOUT dataType : (typeName | baseType) ([ Integer ])* portBody : { (propertyStatement)* } | ; propertyStatement : IF String propertyStatement | compoundPropStatement | propertyInList portAccess : (instName DOT | ) portName instName 73 por...