parse.c

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

	ONCE	Pidentifier()
	END

RULE PformalNameRef IS
	ONCE	Pidentifier()
	END

RULE Pgenerate IS FORM(Kgenerate)
	REPEAT	Pliteral() || Pactual() || Pbuild() ||
		PforEach() || Pcomment()
	ENDFORM

RULE PglobalPortRef IS FORM(KglobalPortRef)
	ONCE	PportNameRef()
	ENDFORM

RULE PgreaterThan IS FORM(KgreaterThan)
	ONCE	PnumberValue()
	ENDFORM

RULE PgridMap IS FORM(KgridMap)
	ONCE	PnumberValue() && PnumberValue()
	ENDFORM

RULE Pidentifier IS
	if (token->type != IDENT) return(FALSE);
	else
	{	if (Fvref && !Fassign) token->type = VALUEREF;
		Fvref = Fassign = 0;
		add_token(); return(TRUE);
	}
    }

RULE Pif IS FORM(Kif)
	ONCE	PbooleanValue() && Pthen()
	OPTIONAL Pelse()
	ENDFORM

RULE Pignore IS FORM(Kignore)
	ENDFORM

RULE PincludeFigureGroup IS FORM(KincludeFigureGroup)
	ONCE	PfigureGroupRef() || PfigureOp()
	ENDFORM

RULE Pincreasing IS FORM(Kincreasing)
	ONCE	PnumberValue()
	REPEAT	PnumberValue()
	ENDFORM

RULE Pinitial IS FORM(Kinitial)
	ENDFORM

RULE Pinstance IS ZERO(n) ZERO(m) FORM(Kinstance)
	ONCE	PinstanceNameDef() && (PviewRef() || PviewList())
	REPEAT	G1(n,Ptransform) || PparameterAssign() ||
		PportInstance() || G1(m,Pdesignator) || Ptiming() ||
		Pproperty() || Pcomment() || PuserData()
	ENDFORM

RULE PinstanceBackAnnotate IS ZERO(n) FORM(KinstanceBackAnnotate)
	ONCE	PinstanceRef()
	REPEAT	G1(n,Pdesignator) || Ptiming() || Pproperty() || Pcomment()
	ENDFORM

RULE PinstanceGroup IS FORM(KinstanceGroup)
	REPEAT	PinstanceRef()
	ENDFORM

RULE PinstanceMap IS FORM(KinstanceMap)
	REPEAT	PinstanceRef() || PinstanceGroup() || Pcomment() || PuserData()
	END

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

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

RULE PinstanceRef IS FORM(KinstanceRef)
	ONCE	PinstanceNameRef()
	OPTIONAL PinstanceRef() || PviewRef()
	ENDFORM

RULE Pinteger IS FORM(Kinteger)
	REPEAT	PintegerValue() || PintegerDisplay() || Pinteger()
	ENDFORM

RULE PintegerDisplay IS
	FORM(KintegerDisplay)
	ONCE	PintegerValue()
	REPEAT	Pdisplay()
	ENDFORM

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

RULE PintegerValue IS
	ONCE	PintegerToken() || PvalueNameRef() || Pfloor() || Pceiling() ||
        Pfix() || Pmod() || PxCoord() || PyCoord() || Pabs() || Pmax() ||
		Pmin() || Pnegate() || Pproduct() || Psubtract() || Psum()
	END

RULE Pinterface IS ZERO(k) ZERO(l) ZERO(m) ZERO(n) FORM(Kinterface)
	FLAG(Fintf)
	REPEAT	Pport() || PportBundle() || G1(k,Psymbol) ||
		G1(l,PprotectionFrame) || G1(m,ParrayRelatedInfo) ||
		Pparameter() || Pjoined() || PmustJoin() || PweakJoined() ||
		Ppermutable() || Ptiming() || Psimulate() ||
		G1(n,Pdesignator) || Pconstant() || Pconstraint() ||
		Pvariable() || Passign() || Pblock() || Pif() || Piterate() ||
		Pwhile() || Pproperty() || Pcomment() || PuserData()
	UNFLAG(Fintf)
	ENDFORM

RULE PinterFigureGroupSpacing IS FORM(KinterFigureGroupSpacing)
	ONCE	PruleNameDef() && PfigureGroupObject() &&
		PfigureGroupObject() &&
		(Prange() || PsingleValueSet())
	REPEAT	Pcomment() || PuserData()
	ENDFORM

RULE Pintersection IS FORM(Kintersection)
	ONCE	PfigureGroupRef() || PfigureOp()
	REPEAT	PfigureGroupRef() || PfigureOp()
	ENDFORM

RULE PintraFigureGroupSpacing IS FORM(KintraFigureGroupSpacing)
	ONCE	PruleNameDef() && PfigureGroupObject() &&
		(Prange() || PsingleValueSet())
	REPEAT	Pcomment() || PuserData()
	ENDFORM

RULE Pinverse IS FORM(Kinverse)
	ONCE	PfigureGroupRef() || PfigureOp()
	ENDFORM

RULE Pisolated IS FORM(Kisolated)
	ENDFORM

RULE Piterate IS FORM(Kiterate)
	REPEAT	Pstatement()
	ENDFORM

RULE Pjoined IS FORM(Kjoined)
	REPEAT	PportRef() || PportList() || PglobalPortRef()
	ENDFORM

RULE Pjustify IS FORM(Kjustify)
	ONCE	MATCH(KUPPERLEFT) || MATCH(KUPPERCENTER) ||
		MATCH(KUPPERRIGHT) || MATCH(KCENTERLEFT) ||
		MATCH(KCENTERCENTER) || MATCH(KCENTERRIGHT) ||
		MATCH(KLOWERLEFT) || MATCH(KLOWERCENTER) ||
		MATCH(KLOWERRIGHT)
	ENDFORM

RULE PkeywordAlias IS FORM(KkeywordAlias)
	ONCE	PkeywordNameDef() && PkeywordNameRef()
	ENDFORM

RULE PkeywordDefine IS FORM(KkeywordDefine)
	ONCE	PkeywordNameDef() && PkeywordParameters() && Pgenerate()
	ENDFORM

RULE PkeywordDisplay IS FORM(KkeywordDisplay)
	ONCE	PkeywordNameRef()
	REPEAT	Pdisplay()
	ENDFORM

RULE PkeywordLevel IS FORM(KkeywordLevel)
	ONCE	PintegerToken()
	ENDFORM

RULE PkeywordMap IS FORM(KkeywordMap)
	ONCE	PkeywordLevel()
	REPEAT	PkeywordAlias() || PkeywordDefine() || Pcomment()
	ENDFORM

RULE PkeywordNameDef IS
	ONCE	Pidentifier()
	END

RULE PkeywordNameRef IS
	ONCE	Pidentifier()
	END

RULE PkeywordParameters IS FORM(KkeywordParameters)
	REPEAT	Pformal()
	ENDFORM

RULE PlayerNameDef IS
	ONCE	PnameDef()
	END

RULE PlessThan IS FORM(KlessThan)
	ONCE	PnumberValue()
	END

RULE Plibrary IS ZERO(n) FORM(Klibrary)
	ONCE	PlibraryNameDef() && PedifLevel() && Ptechnology()
	REPEAT	G1(n,Pstatus) || Pcell() || Pcomment() || PuserData()
	ENDFORM

RULE PlibraryNameDef IS
	ONCE	PnameDef()
	END

RULE PlibraryNameRef IS
	ONCE	PnameRef()
	END

RULE PlibraryRef IS FORM(KlibraryRef)
	ONCE	PlibraryNameRef()
	ENDFORM

RULE PlistOfNets IS FORM(KlistOfNets)
	REPEAT	Pnet()
	ENDFORM

RULE PlistOfPorts IS FORM(KlistOfPorts)
	REPEAT	Pport() || PportBundle()
	ENDFORM

RULE Pliteral IS FORM(Kliteral)
	REPEAT	PintegerToken() || PstringToken() ||
		Pidentifier() || Pform()
	ENDFORM

RULE PloadDelay IS FORM(KloadDelay)
	ONCE	(PmiNoMaxValue() || PmiNoMaxDisplay()) &&
		(PmiNoMaxValue() || PmiNoMaxDisplay())
	ENDFORM

RULE PlogicAssign IS FORM(KlogicAssign)
	ONCE	(PportNameRef() || PportRef()) &&
		(PportRef() || PlogicRef() || Ptable())
	OPTIONAL Pdelay() || PloadDelay()
	ENDFORM

RULE PlogicInput IS FORM(KlogicInput)
	ONCE	(PportNameRef() || PportRef() || PportList()) &&
		PlogicWaveform()
	ENDFORM

RULE PlogicList IS FORM(KlogicList)
	REPEAT	PlogicNameRef() || PlogicOneOf() || Pignore()
	ENDFORM

RULE PlogicMapInput IS FORM(KlogicMapInput)
	REPEAT	PlogicRef()
	ENDFORM

RULE PlogicMapOutput IS FORM(KlogicMapOutput)
	REPEAT	PlogicRef()
	ENDFORM

RULE PlogicNameDef IS
	ONCE	PnameDef()
	END

RULE PlogicNameRef IS
	ONCE	PnameRef()
	END

RULE PlogicOneOf IS FORM(KlogicOneOf)
	REPEAT	PlogicNameRef() || PlogicList()
	ENDFORM

RULE PlogicOutput IS FORM(KlogicOutput)
	ONCE	(PportNameRef() || PportRef() || PportList()) &&
		PlogicWaveform()
	ENDFORM

RULE PlogicPort IS CONDFORM(KlogicPort, LOGICMODEL)
	ONCE	PportNameDef()
	REPEAT	Pproperty() || Pcomment() || PuserData()
	ENDFORM

RULE PlogicRef IS FORM(KlogicRef)
	ONCE	PlogicNameRef()
	OPTIONAL PlibraryRef()
	ENDFORM

RULE PlogicValue IS ZERO(m) ZERO(n) ZERO(o) ZERO(p) ZERO(q) ZERO(r)
	ZERO(s) ZERO(t) ZERO(u) ZERO(v) FORM(KlogicValue)
	ONCE	PlogicNameDef()
	REPEAT	G1(m,PvoltageMap) || G1(n,PcurrentMap) || G1(o,PbooleanMap) ||
		G1(p,Pcompound) || G1(q,Pweak) || G1(r,Pstrong) ||
		G1(s,Pdominates) || G1(t,PlogicMapOutput) ||
		G1(u,PlogicMapInput) || G1(v,Pisolated) || Presolves() ||
		Pproperty() || Pcomment() || PuserData()
	ENDFORM

RULE PlogicWaveform IS FORM(KlogicWaveform)
	REPEAT	PlogicNameRef() || PlogicList() || PlogicOneOf() || Pignore()
	ENDFORM

RULE Pmaintain IS FORM(Kmaintain)
	ONCE	PportNameRef() || PportRef()
	OPTIONAL Pdelay() || PloadDelay()
	ENDFORM

RULE Pmatch IS FORM(Kmatch)
	ONCE	(PportNameRef() || PportRef() || PportList()) &&
		(PlogicNameRef() || PlogicList() || PlogicOneOf())
	ENDFORM

RULE Pmax IS FORM(Kmax)
	ONCE	PnumberValue()
	REPEAT	PnumberValue()
	ENDFORM

RULE Pmember IS FORM(Kmember)
	ONCE	PnameRef() && PintegerValue()
	REPEAT	PintegerValue()
	ENDFORM

RULE Pmin IS FORM(Kmin)
	ONCE	PnumberValue()
	REPEAT	PnumberValue()
	ENDFORM

RULE PmiNoMax IS FORM(KmiNoMax)
	REPEAT	PmiNoMaxValue() || PmiNoMaxDisplay() || PmiNoMax()
	ENDFORM

RULE PmiNoMaxDisplay IS FORM(KmiNoMaxDisplay)
	ONCE	PmiNoMaxValue()
	REPEAT	Pdisplay()
	ENDFORM

RULE PmiNoMaxValue IS
	ONCE	PnumberValue() || Pmnm()
	END

RULE Pmnm IS FORM(Kmnm)
	ONCE	(PnumberValue() || Pundefined() || Punconstrained()) &&
		(PnumberValue() || Pundefined() || Punconstrained()) &&
		(PnumberValue() || Pundefined() || Punconstrained())
	ENDFORM

RULE Pmod IS FORM(Kmod)
	ONCE	PintegerValue() && PintegerValue()
	ENDFORM

RULE PmultipleValueSet IS FORM(KmultipleValueSet)
	REPEAT	PrangeVector()
	ENDFORM

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

RULE Pname IS FORM(Kname)
	ONCE	Pidentifier()
	REPEAT	Pdisplay()
	ENDFORM

RULE PnameDef IS
	ONCE	Pidentifier() || Pname() || Prename()
	END

RULE PnameRef IS
	ONCE	Pidentifier() || Pname()
	END

RULE Pnegate IS FORM(Knegate)
	ONCE	PnumberValue()
	ENDFORM

RULE Pnet IS ZERO(n) FORM(Knet)
	ONCE	PnetNameDef() && Pjoined()
	REPEAT	G1(n,Pcriticality) || PnetDelay() || Pfigure() ||
		Pnet() || Pinstance() || PcommentGraphics() || Pproperty() ||
		Pcomment() || PuserData()
	ENDFORM

RULE PnetBackAnnotate IS ZERO(n) FORM(KnetBackAnnotate)
	ONCE	PnetRef()
	REPEAT	PnetDelay() || G1(n,Pcriticality) || Pproperty() || Pcomment()
	ENDFORM

RULE PnetBundle IS FORM(KnetBundle)
	ONCE	PnetNameDef() && PlistOfNets()
	REPEAT	Pfigure() || PcommentGraphics() || Pproperty() ||
		Pcomment() || PuserData()
	ENDFORM

RULE PnetDelay IS FORM(KnetDelay)
	ONCE	Pderivation() && Pdelay()
	REPEAT	Ptransition() || Pbecomes()
	ENDFORM

RULE PnetGroup IS FORM(KnetGroup)
	REPEAT	PnetNameRef() || PnetRef()
	ENDFORM

RULE PnetMap IS FORM(KnetMap)
	REPEAT	PnetRef() || PnetGroup() || Pcomment() || PuserData()
	ENDFORM

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

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

RULE PnetRef IS FORM(KnetRef)
	ONCE	PnetNameRef()
	REPEAT	PnetRef() || PinstanceRef() || PviewRef()
	ENDFORM

RULE PnoChange IS FORM(KnoChange)
	ENDFORM

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

RULE Pnot IS FORM(Knot)
	ONCE	PbooleanValue()
	ENDFORM

RULE PnotAllowed IS FORM(KnotAllowed)
	ONCE	PruleNameDef() && PfigureGroupObject()
	REPEAT	Pcomment() && PuserData()
	ENDFORM

RULE PnotchSpacing IS FORM(KnotchSpacing)
	ONCE	PruleNameDef() && PfigureGroupObject() &&
		(Prange() || PsingleValueSet())
	REPEAT	Pcomment() && PuserData()
	ENDFORM

RULE Pnumber IS FORM(Knumber)
	REPEAT	PnumberValue() || PnumberDisplay() || Pnumber()
	ENDFORM

RULE PnumberDefinition IS ZERO(n) FORM(KnumberDefinition)
	REPEAT	Pscale() || G1(n,PgridMap) || Pcomment()
	ENDFORM

RULE PnumberDisplay IS FORM(KnumberDisplay)
	ONCE	PnumberValue()
	REPEAT	Pdisplay()
	ENDFORM

RULE PnumberValue IS
	ONCE	PscaledInteger() || PvalueNameRef() || Pfloor() ||
		Pceiling() || Pfix() || Pmod() || PxCoord() ||
		PyCoord() || Pdivide() || Pabs() || Pmax() || Pmin() ||
		Pnegate() || Pproduct() || Psubtract() || Psum()
	END

RULE PoffPageConnector IS ZERO(n) FORM(KoffPageConnector)
	ONCE	PportNameDef()
	REPEAT	G1(n,Punused) || Pproperty() || Pcomment() || PuserData()
	ENDFORM

RULE PoffsetEvent IS FORM(KoffsetEvent)
	ONCE	Pevent() && PnumberValue()
	ENDFORM

RULE PopenShape IS FORM(KopenShape)
	ONCE	Pcurve()
	REPEAT	Pproperty()
	ENDFORM

RULE Poptional IS FORM(Koptional)
	ONCE	Pliteral() || Pactual() || Pbuild()
	ENDFORM

RULE Por IS FORM(Kor)
	REPEAT	PbooleanValue()
	ENDFORM

RULE Porientation IS FORM(Korientation)
	ONCE	MATCH(KR0) || MATCH(KR90) || MATCH(KR180) || MATCH(KR270) ||
		MATCH(KMX) || MATCH(KMY) || MATCH(KMYR90) || MATCH(KMXR90)
	ENDFORM

RULE Porigin IS FORM(Korigin)
	ONCE	PpointValue()
	ENDFORM

RULE PoverhangDistance IS FORM(KoverhangDistance)
	ONCE	PruleNameDef() && PfigureGroupObject() && PfigureGroupObject() &&
		(Prange() || PsingleValueSet())
	REPEAT	Pcomment() || PuserData()
	ENDFORM

RULE PoverlapDistance IS FORM(KoverlapDistance)
	ONCE	PruleNameDef() && PfigureGroupObject() && PfigureGroupObject() &&
		(Prange() || PsingleValueSet())
	REPEAT	Pcomment() || PuserData()
	ENDFORM

RULE Poversize IS FORM(Koversize)
	ONCE	PintegerValue() &&
		(PfigureGroupRef() || PfigureOp()) &&
		PcornerType()
	ENDFORM

RULE Powner IS FORM(Kowner)
	ONCE	PstringToken()
	ENDFORM

RULE Ppage IS ZERO(n) ZERO(m) FORM(Kpage)
	FLAG(Fpage)
	ONCE	PinstanceNameDef()
	REPEAT	Pinstance() || Pnet() || PnetBundle() ||
		PcommentGraphics() || PportImplementation() ||
		G1(n,PpageSize) || G1(m,PboundingBox) ||
		Pconstant() || Pconstraint() || Pvariable() ||
		Passign() || Pblock() || Pif() || Piterate() ||
		Pwhile() || Pcomment() || PuserData()
	UNFLAG(Fpage)
	ENDFORM

RULE PpageSize IS FORM(KpageSize)
	ONCE	Prectangle()
	ENDFORM

RULE Pparameter IS FORM(Kparameter)
	ONCE	PvalueNameDef() && PtypedValue()
	OPTIONAL Punit()
	ENDFORM

RULE PparameterAssign IS FORM(KparameterAssign)
	FLAG(Fassign)
	ONCE	PvalueNameRef() && PtypedValue()
	ENDFORM

RULE PparameterDisplay IS FORM(KparameterDisplay)