parse.c

主要用于大规模的测试生成方法

	ONCE	PvalueNameRef()
	REPEAT	Pdisplay()
	ENDFORM

RULE Ppath IS FORM(Kpath)
	ONCE	PpointList()
	REPEAT	Pproperty()
	ENDFORM

RULE PpathDelay IS FORM(KpathDelay)
	ONCE	Pdelay()
	REPEAT	Pevent()
	ENDFORM

RULE PpathWidth IS FORM(KpathWidth)
	ONCE	PintegerValue()
	ENDFORM

RULE Ppermutable IS FORM(Kpermutable)
	REPEAT	PportRef() || Ppermutable() || PnonPermutable()
	ENDFORM

RULE PphysicalDesignRule IS FORM(KphysicalDesignRule)
	REPEAT	PfigureWidth() || PfigureArea() || PrectangleSize() ||
		PfigurePerimeter() || PoverlapDistance() || PoverhangDistance() ||
		PenclosureDistance() || PinterFigureGroupSpacing() ||
		PintraFigureGroupSpacing() || PnotchSpacing() ||
		PnotAllowed() || PfigureGroup() || Pcomment() || PuserData()
	ENDFORM

RULE Pplug IS FORM(Kplug)
	REPEAT	PsocketSet()
	ENDFORM

RULE Ppoint IS CONDFORM(Kpoint, GRAPHIC)
	REPEAT	PpointValue() || PpointDisplay() || Ppoint()
	ENDFORM

RULE PpointDisplay IS FORM(KpointDisplay)
	ONCE	PpointValue()
	REPEAT	Pdisplay()
	ENDFORM

RULE PpointList IS FORM(KpointList)
	REPEAT	PpointValue()
	ENDFORM

RULE PpointSubtract IS FORM(KpointSubtract)
	ONCE	PpointValue()
	REPEAT	PpointValue()
	ENDFORM

RULE PpointSum IS FORM(KpointSum)
	REPEAT	PpointValue()
	ENDFORM

RULE PpointValue IS
	ONCE	Ppt() || PvalueNameRef() || PpointSum() || PpointSubtract()
	END

RULE Ppolygon IS FORM(Kpolygon)
	ONCE	PpointList()
	REPEAT	Pproperty()
	END

RULE Pport IS ZERO(i) ZERO(j) ZERO(k) ZERO(l) ZERO(m) ZERO(n) ZERO(o) ZERO(p)
	FORM(Kport)
	ONCE	PportNameDef()
	REPEAT	G1(i,Pdirection) || G1(j,Punused) ||
		G1(k,Pdesignator) || G1(l,PdcFaninLoad) ||
		G1(m,PdcFanoutLoad) || G1(n,PdcMaxFanin) ||
		G1(o,PdcMaxFanout) || G1(p,PacLoad) ||
		PportDelay() || Pproperty() || Pcomment() || PuserData()
       	ENDFORM

RULE PportBackAnnotate IS ZERO(m) ZERO(n) ZERO(o) ZERO(p) ZERO(q) ZERO(r)
	FORM(KportBackAnnotate)
	ONCE	PportRef()
	REPEAT	G1(m,Pdesignator) || G1(n,PdcFaninLoad) ||
		G1(o,PdcFanoutLoad) || G1(p,PdcMaxFanin) ||
		G1(q,PdcMaxFanout) || G1(r,PacLoad) ||
		PportDelay() || Pproperty() || Pcomment()
       	ENDFORM

RULE PportBundle IS FORM(KportBundle)
	ONCE	PportNameDef() && PlistOfPorts()
	REPEAT	Pproperty() || Pcomment() || PuserData()
	ENDFORM

RULE PportDelay IS FORM(KportDelay)
	ONCE	Pderivation() && (Pdelay() || PloadDelay())
	REPEAT	Ptransition() || Pbecomes()
	ENDFORM

RULE PportGroup IS FORM(KportGroup)
	REPEAT	PportNameRef() || PportRef()
	ENDFORM

RULE PportImplementation IS ZERO(m) FORM(KportImplementation)
	ONCE	PportNameRef() || PportRef()
	REPEAT	G1(m,PconnectLocation) || Pfigure() || Pinstance() ||
		PcommentGraphics() || PpropertyDisplay() || PkeywordDisplay() ||
		Pproperty() || Pcomment() || PuserData()
	ENDFORM

RULE PportInstance IS ZERO(j) ZERO(k) ZERO(l) ZERO(m) ZERO(n) ZERO(o) ZERO(p)
	FORM(KportInstance)
	ONCE	PportNameRef() || PportRef()
	REPEAT	G1(j,Punused) ||
		G1(k,Pdesignator) || G1(l,PdcFaninLoad) ||
		G1(m,PdcFanoutLoad) || G1(n,PdcMaxFanin) ||
		G1(o,PdcMaxFanout) || G1(p,PacLoad) ||
		PportDelay() || Pproperty() || Pcomment() || PuserData()
       	ENDFORM

RULE PportList IS FORM(KportList)
	REPEAT	PportNameRef() || PportRef()
	ENDFORM

RULE PportListAlias IS FORM(KportListAlias)
	ONCE	PportNameDef() && PportList()
	ENDFORM

RULE PportMap IS FORM(KportMap)
	REPEAT	PportRef() || PportGroup() || Pcomment() || PuserData()
	ENDFORM

RULE PportNameDef IS
	ONCE	PnameDef() || Parray()
	END

RULE PportNameRef IS
	ONCE	PnameRef() || Pmember()
	END

RULE PportRef IS FORM(KportRef)
	ONCE	PportNameRef()
	OPTIONAL PportRef() || PinstanceRef() || PviewRef()
	ENDFORM

RULE Pproduct IS FORM(Kproduct)
	REPEAT	PnumberValue()
	ENDFORM

RULE Pprogram IS FORM(Kprogram)
	ONCE	PstringToken()
	OPTIONAL Pversion()
	ENDFORM

RULE Pproperty IS ZERO(n) ZERO(m) FORM(Kproperty)
	ONCE	PpropertyNameDef() && PtypedValue()
	REPEAT	G1(n,Powner) || G1(m,Punit) ||
		Pproperty() || Pcomment()
	ENDFORM

RULE PpropertyDisplay IS FORM(KpropertyDisplay)
	ONCE	PpropertyNameRef()
	REPEAT	Pdisplay()
	ENDFORM

RULE PpropertyNameDef IS
	ONCE	PnameDef()
	END

RULE PpropertyNameRef IS
	ONCE	PnameRef()
	END

RULE PprotectionFrame IS ZERO(m) CONDFORM(KprotectionFrame, GRAPHIC)
	REPEAT	PportImplementation() || Pfigure() || Pinstance() ||
		PcommentGraphics() || G1(m,PboundingBox) || PpropertyDisplay() ||
		PkeywordDisplay() || PparameterDisplay() || Pproperty() ||
		Pcomment() || PuserData()
	ENDFORM

RULE Ppt IS FORM(Kpt)
	ONCE	PintegerValue() && PintegerValue()
	ENDFORM

RULE Prange IS
	ONCE	PatLeast() || PatMost() || Pbetween() || Pexactly() ||
		PgreaterThan() || PlessThan()
	END

RULE PrangeVector IS FORM(KrangeVector)
	REPEAT	Prange() || PsingleValueSet()
	ENDFORM

RULE Prectangle IS FORM(Krectangle)
	ONCE	PpointValue() && PpointValue()
	REPEAT	Pproperty()
	ENDFORM

RULE PrectangleSize IS FORM(KrectangleSize)
	ONCE	PruleNameDef() && PfigureGroupObject() &&
		(PrangeVector() || PmultipleValueSet())
	REPEAT	Pcomment() || PuserData()
	ENDFORM

RULE Prename IS FORM(Krename)
	ONCE	(Pidentifier() || Pname()) &&
		(PstringToken() || PstringDisplay())
	ENDFORM

RULE Presolves IS FORM(Kresolves)
	REPEAT	PlogicNameRef()
	ENDFORM

RULE PruleNameDef IS
	ONCE	PnameDef()
	END

RULE Pscale IS FORM(Kscale)
	ONCE	PnumberValue() && PnumberValue() && Punit()
	ENDFORM

RULE PscaledInteger IS
	ONCE	PintegerToken() || Pe()
	END

RULE PscaleX IS FORM(KscaleX)
	ONCE	PintegerValue() && PintegerValue()
	ENDFORM

RULE PscaleY IS FORM(KscaleY)
	ONCE	PintegerValue() && PintegerValue()
	ENDFORM

RULE Psection IS FORM(Ksection)
	ONCE	PstringValue()
	REPEAT	PstringValue() || Psection() || Pinstance()
	ENDFORM

RULE Pshape IS FORM(Kshape)
	ONCE	Pcurve()
	REPEAT	Pproperty()
	ENDFORM

RULE Psimulate IS CONDFORM(Ksimulate, LOGICMODEL)
	ONCE	PsimulateNameDef()
	REPEAT	PportListAlias() ||  PwaveValue() || Papply() || Pcomment() ||
		PuserData()
	ENDFORM

RULE PsimulateNameDef IS
	ONCE	PnameDef()
	END

RULE PsimulationInfo IS CONDFORM(KsimulationInfo, LOGICMODEL)
	REPEAT	PlogicValue() || Pcomment() || PuserData()
	ENDFORM

RULE PsingleValueSet IS FORM(KsingleValueSet)
	REPEAT	Prange()
	ENDFORM

RULE Psite IS FORM(Ksite)
	ONCE	PviewRef()
	OPTIONAL Ptransform()
	ENDFORM

RULE Psocket IS FORM(Ksocket)
	OPTIONAL Psymmetry()
	ENDFORM

RULE PsocketSet IS FORM(KsocketSet)
	ONCE	Psymmetry()
	REPEAT	Psite()
	ENDFORM

RULE Pstatement IS
	ONCE	Pblock() || Pcomment() || Pconstant() || Pconstraint() ||
		Pif() || Piterate() || PuserData() || Pwhile() || Pescape() ||
		Fintf && Pproperty() ||
		Fcont && (Pfigure() || Pfollow() || PlogicPort() ||
			PoffPageConnector() || Psection() || Pwhen()) ||
		(Fcont || Fintf) && (Psimulate() || Ptiming()) ||
		(Fcont || Fpage) && (PcommentGraphics() || Pinstance() ||
			Pnet() || PnetBundle() || PportImplementation()) ||
		(Fcont || Fintf || Fpage) && (Pvariable() || Passign())
	END

RULE Pstatus IS FORM(Kstatus)
	REPEAT	Pwritten() || Pcomment() || PuserData()
	ENDFORM

RULE Psteady IS FORM(Ksteady)
	ONCE	(PportNameRef() || PportRef() || PportList()) && Pduration()
	OPTIONAL Ptransition() || Pbecomes()
	ENDFORM

RULE PstrictlyIncreasing IS FORM(KstrictlyIncreasing)
	ONCE	PnumberValue()
	REPEAT	PnumberValue()
	ENDFORM

RULE Pstring IS FORM(Kstring)
	REPEAT	PstringValue() || PstringDisplay() || Pstring()
	ENDFORM

RULE PstringDisplay IS FORM(KstringDisplay)
	ONCE	PstringValue()
	REPEAT	Pdisplay()
	ENDFORM

RULE PstringToken IS
	if (token->type != STRING) return(FALSE);
	else add_token(); return(TRUE);}

RULE PstringValue IS
	ONCE	PstringToken() || PvalueNameRef() || Pconcat()
	END

RULE Pstrong IS FORM(Kstrong)
	ONCE	PlogicNameRef()
	ENDFORM

RULE Psubtract IS FORM(Ksubtract)
	ONCE	PnumberValue()
	REPEAT	PnumberValue()
	ENDFORM

RULE Psum IS FORM(Ksum)
	REPEAT	PnumberValue()
	ENDFORM

RULE Psymbol IS ZERO(m) ZERO(n) CONDFORM(Ksymbol, GRAPHIC)
	REPEAT	PportImplementation() || Pfigure() || Pannotate() ||
		Pinstance() || PcommentGraphics() || G1(m,PpageSize) ||
		G1(n,PboundingBox) || PpropertyDisplay() ||
		PkeywordDisplay() || PparameterDisplay() || Pproperty() ||
		Pcomment() || PuserData()
	ENDFORM

RULE Psymmetry IS FORM(Ksymmetry)
	REPEAT	Ptransform()
	ENDFORM

RULE Ptable IS ZERO(m) FORM(Ktable)
	REPEAT	Pentry() || G1(m,PtableDefault)
	ENDFORM

RULE PtableDefault IS FORM(KtableDefault)
	ONCE	PlogicRef() || PportRef() || PnoChange() || Ptable()
	OPTIONAL Pdelay() || PloadDelay()
	ENDFORM

RULE Ptechnology IS ZERO(n) ZERO(m) FORM(Ktechnology)
	FLAG(Ftech)
	ONCE	PnumberDefinition()
	REPEAT	PfigureGroup() || Pfabricate() ||
		G1(n,PsimulationInfo) || G1(m,PphysicalDesignRule) ||
		Pconstant() || Pconstraint() || Pblock() || Pif() ||
		Piterate() || Pwhile() || Pcomment() || PuserData()
	UNFLAG(Ftech)
	ENDFORM

RULE Pthen IS FORM(Kthen)
	REPEAT	Pstatement()
	ENDFORM

RULE PtextHeight IS FORM(KtextHeight)
	ONCE	PintegerValue()
	ENDFORM

RULE PtimeInterval IS FORM(KtimeInterval)
	ONCE	(Pevent() || PoffsetEvent()) &&
		(Pevent() || PoffsetEvent() || Pduration())
	ENDFORM

RULE PtimeStamp IS FORM(KtimeStamp)
	ONCE	PintegerToken() && PintegerToken() && PintegerToken() &&
		PintegerToken() && PintegerToken() && PintegerToken()
	ENDFORM

RULE Ptiming IS CONDFORM(Ktiming, LOGICMODEL)
	ONCE	Pderivation()
	REPEAT	PpathDelay() || PforbiddenEvent() || Pcomment() || PuserData()
	ENDFORM

RULE Ptransform IS CONDFORM(Ktransform, GRAPHIC)
	OPTIONAL PscaleX()
	OPTIONAL PscaleY()
	OPTIONAL Pdelta()
	OPTIONAL Porientation()
	OPTIONAL Porigin()
	ENDFORM

RULE Ptransition IS FORM(Ktransition)
	ONCE	(PlogicNameRef() || PlogicList() || PlogicOneOf()) &&
		(PlogicNameRef() || PlogicList() || PlogicOneOf())
	ENDFORM

RULE Ptrigger IS CONDFORM(Ktrigger, LOGICMODEL)
	REPEAT	Pchange() || Psteady() || Pinitial()
	ENDFORM

RULE Ptrue IS FORM(Ktrue)
	ENDFORM

RULE PtypedValue IS
	ONCE	Pboolean() || Pinteger() || PmiNoMax() ||
		Pnumber() || Ppoint() || Pstring()
	END

RULE Punconstrained IS FORM(Kunconstrained)
	ENDFORM

RULE Pundefined IS FORM(Kundefined)
	ENDFORM

RULE Punion IS FORM(Kunion)
	ONCE	PfigureGroupRef() || PfigureOp()
	REPEAT	PfigureGroupRef() || PfigureOp()
	ENDFORM

RULE Punit IS FORM(Kunit)
	ONCE	MATCH(KANGLE) || MATCH(KCAPACITANCE) || MATCH(KCONDUCTANCE) ||
	MATCH(KCHARGE) || MATCH(KCURRENT) || MATCH(KDISTANCE) ||
	MATCH(KENERGY) || MATCH(KFLUX) || MATCH(KFREQUENCY) ||
	MATCH(KINDUCTANCE) || MATCH(KMASS) || MATCH(KPOWER) ||
	MATCH(KRESISTANCE) || MATCH(KTEMPERATURE) ||
	MATCH(KTIME) || MATCH(KVOLTAGE)
	ENDFORM

RULE Punused IS FORM(Kunused)
	ENDFORM

RULE PuserData IS CONDFORM(KuserData, USERDATA)
	ONCE	Pidentifier()
	REPEAT	PintegerToken() || PstringToken() ||
		Pidentifier() || Pform()
	ENDFORM

RULE PvalueNameDef IS
	ONCE	PnameDef() || Parray()
	END

RULE PvalueNameRef IS
	FLAG(Fvref)
	ONCE	PnameRef() || Pmember()
	UNFLAG(Fvref)
	END

RULE Pvariable IS FORM(Kvariable)
	ONCE	PvalueNameDef() && PtypedValue()
	ENDFORM

RULE Pversion IS FORM(Kversion)
	ONCE	PstringToken()
	ENDFORM

RULE Pview IS ZERO(n) ZERO(m) FORM(Kview)
	; if (Fext) m=TRUE /* prohibit contents in (external */
	ONCE	PviewNameDef() && PviewType() && Pinterface()
	REPEAT	G1(n,Pstatus) || G1(m,Pcontents) ||
		Pcomment() || Pproperty() || PuserData()
	ENDFORM

RULE PviewList IS FORM(KviewList)
	REPEAT	PviewRef() || PviewList()
	ENDFORM

RULE PviewMap IS FORM(KviewMap)
	REPEAT	PportMap() || PportBackAnnotate() || PinstanceMap() ||
		PinstanceBackAnnotate() || PnetMap() || PnetBackAnnotate() ||
		Pcomment() || PuserData()
	ENDFORM

RULE PviewNameDef IS
	ONCE	PnameDef()
	END

RULE PviewNameRef IS
	ONCE	PnameRef()
	END

RULE PviewRef IS FORM(KviewRef)
	ONCE	PviewNameRef()
	OPTIONAL PcellRef()
	ENDFORM

RULE PviewType IS FORM(KviewType)
	ONCE	MATCH(KBEHAVIOR) || MATCH(KDOCUMENT) || MATCH(KGRAPHIC) ||
		MATCH(KLOGICMODEL) || MATCH(KMASKLAYOUT) || MATCH(KNETLIST) ||
		MATCH(KPCBLAYOUT) || MATCH(KSCHEMATIC) ||
		MATCH(KSTRANGER) || MATCH(KSYMBOLIC)
	ENDFORM

RULE Pvisible IS FORM(Kvisible)
	ONCE	PbooleanValue()
	ENDFORM

RULE PvoltageMap IS CONDFORM(KvoltageMap, LOGICMODEL)
	ONCE	PmiNoMaxValue()
	ENDFORM

RULE PwaveValue IS CONDFORM(KwaveValue, LOGICMODEL)
	ONCE	PlogicNameDef() && PnumberValue() && PlogicWaveform()
	ENDFORM

RULE Pweak IS CONDFORM(Kweak, LOGICMODEL)
	ONCE	PlogicNameRef()
	ENDFORM

RULE PweakJoined IS FORM(KweakJoined)
	REPEAT	PportRef() || PportList() || Pjoined()
	ENDFORM

RULE Pwhen IS CONDFORM(Kwhen, LOGICMODEL)
	ONCE	Ptrigger()
	REPEAT	Pafter() || Pfollow() || PlogicAssign() || Pmaintain() ||
		Pcomment() || PuserData()
	ENDFORM

RULE Pwhile IS FORM(Kwhile)
	ONCE	PbooleanValue()
	REPEAT	Pstatement()
	ENDFORM

RULE Pwritten IS ZERO(l) ZERO(m) ZERO(n) FORM(Kwritten)
	ONCE	PtimeStamp()
	REPEAT	G1(l,Pauthor) || G1(m,Pprogram) ||
                G1(n,PdataOrigin) || Pproperty() ||
                Pcomment() || PuserData()
	ENDFORM

RULE PxCoord IS FORM(KxCoord)
	ONCE	PpointValue()
	ENDFORM

RULE Pxor IS FORM(Kxor)
	REPEAT	PbooleanValue()
	ENDFORM

RULE PyCoord IS FORM(KyCoord)
	ONCE	PpointValue()
	ENDFORM