parse.c

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

#include <stdio.h>
#include "defines.h"
#include "types.h"
#include "keywords.h"

/*** IMPORTED *****/
extern PARSETREE *token;
extern char *keywords[];
/*extern int inputmask;*/
extern void add_token();

static int inputmask = (-1 & ~COMMENT & ~GRAPHIC);
/******** flags for context sensitive rules *********/
static int Fvref, Fassign; /* to change 'IDENT' into 'VALUEREF' */
static int Fext, Fpage, Ftech, Fcont, Fintf;

/********** defines for parser **********/
#define RULE		static
#define IS		() {int b = TRUE;
#define ZERO(n)		int n = FALSE;
#define FORM(keydef)	if(token->type!=keydef) return(FALSE);\
			else add_token()
#define CONDFORM(k,msk) if(token->type!=k) return(FALSE);\
			if(inputmask&msk) return(match_anyitem(TRUE));\
			else add_token()
#define ONCE		; b =
#define REPEAT		; while (b && token->type != ENDLIST) b =
#define OPTIONAL	; if (b && token->type != ENDLIST) b |=
#define G1(guard,f)	(!guard&&(guard=f()))
#define MATCH(keydef)	((token->data.token==keywords[keydef])?\
			(add_token(), TRUE): FALSE)
#define ENDFORM		; return( match_endlist( b));}
#define END		; return( b);}
#define ANYTAIL		; return( match_tail(b));}
#define FLAG(f)		; f=TRUE
#define UNFLAG(f)	; f=FALSE

/*********************************************************************/
/*       Functions for each EDIF grammar rule                        */
/*********************************************************************/

RULE Pabs IS FORM(Kabs)
	ONCE	PnumberValue()
	ENDFORM

RULE PacLoad IS FORM(KacLoad)
	ONCE	PmiNoMaxValue() || PmiNoMaxDisplay()
	ENDFORM

RULE Pactual IS FORM(Kactual)
	ONCE	PformalNameRef()
	ENDFORM

RULE Pafter IS FORM(Kafter)
	ONCE	PmiNoMaxValue()
	REPEAT	PlogicAssign() || Pfollow() || Pmaintain() ||
		Pcomment() || PuserData()
	ENDFORM

RULE Pand IS FORM(Kand)
	REPEAT	PbooleanValue()
	ENDFORM

RULE Pannotate IS FORM(Kannotate)
	ONCE PstringValue() || PstringDisplay()
	ENDFORM

RULE Papply IS FORM(Kapply)
	ONCE	Pcycle()
	REPEAT	PlogicInput() || PlogicOutput() || Pcomment() || PuserData()
	ENDFORM

RULE Parc IS FORM(Karc)
	ONCE PpointValue() && PpointValue() && PpointValue()
	ENDFORM

RULE Passign IS FORM(Kassign)
	FLAG(Fassign)
	ONCE	PvalueNameRef() && PtypedValue()
	UNFLAG(Fassign)
	ENDFORM

RULE Parray IS FORM(Karray)
	ONCE	PnameDef() && PintegerValue()
	REPEAT	PintegerValue()
	ENDFORM

RULE ParrayMacro IS FORM(KarrayMacro)
	ONCE	Pplug()
	ENDFORM

RULE ParrayRelatedInfo IS FORM(KarrayRelatedInfo)
	ONCE	ParrayMacro() || ParraySite() || PbaseArray()
	REPEAT	Pcomment() || PuserData()
	ENDFORM

RULE ParraySite IS FORM(KarraySite)
	ONCE	Psocket()
	ENDFORM

RULE PatLeast IS FORM(KatLeast)
	ONCE	PnumberValue()
	ENDFORM

RULE PatMost IS FORM(KatMost)
	ONCE	PnumberValue()
	ENDFORM

RULE Pauthor IS FORM(Kauthor)
	ONCE	PstringToken()
	ENDFORM

RULE PbaseArray IS FORM(KbaseArray)
	ENDFORM

RULE Pbecomes IS FORM(Kbecomes)
	ONCE	PlogicNameRef() || PlogicList()|| PlogicOneOf()
	ENDFORM

RULE Pbetween IS FORM(Kbetween)
	ONCE	(PatLeast() || PgreaterThan()) &&
		(PatMost() || PlessThan())
	ENDFORM

RULE Pblock IS FORM(Kblock)
	REPEAT	Pstatement()
	ENDFORM

RULE Pboolean IS FORM(Kboolean)
	REPEAT	PbooleanValue() || PbooleanDisplay() || Pboolean()
	ENDFORM

RULE PbooleanDisplay IS FORM(KbooleanDisplay)
	ONCE	PbooleanValue()
	REPEAT	Pdisplay()
	ENDFORM

RULE PbooleanMap IS FORM(KbooleanMap)
	ONCE	PbooleanValue()
	ENDFORM

RULE PbooleanValue IS
	ONCE	Pfalse() || Ptrue() || PvalueNameRef() || Pand() ||
		Por() || Pnot() || Pxor() || Pequal() ||
		Pincreasing() || PstrictlyIncreasing()
	END

RULE PborderPattern IS FORM(KborderPattern)
	ONCE	PintegerValue() && PintegerValue() && Pboolean()
	ENDFORM

RULE PborderWidth IS FORM(KborderWidth)
	ONCE	PintegerValue()
	ENDFORM

RULE PboundingBox IS FORM(KboundingBox)
	ONCE Prectangle()
	ENDFORM

RULE Pbuild IS FORM(Kbuild)
	ONCE	PkeywordNameRef()
	REPEAT	Pliteral() || Pactual() || Pbuild() ||
		PforEach() || Pcomment()
	ENDFORM

RULE Pceiling IS FORM(Kceiling)
	ONCE	PnumberValue()
	ENDFORM

RULE Pcell IS ZERO(n) ZERO(m) FORM(Kcell)
	ONCE	PcellNameDef() && PcellType()
	REPEAT	G1(n,Pstatus) || Pview() || G1(m,PviewMap) ||
		Pproperty() || Pcomment() || PuserData()
	ENDFORM

RULE PcellNameDef IS
	ONCE	PnameDef()
	END

RULE PcellNameRef IS
	ONCE	PnameRef()
	END

RULE PcellRef IS FORM(KcellRef)
	ONCE	PcellNameRef()
	OPTIONAL PlibraryRef()
	ENDFORM

RULE PcellType IS FORM(KcellType)
	ONCE	MATCH(KGENERIC) || MATCH(KTIE) || MATCH(KRIPPER)
	ENDFORM

RULE Pchange IS FORM(Kchange)
	ONCE	PportNameRef() || PportRef() || PportList()
	OPTIONAL Ptransition() || Pbecomes()
	ENDFORM

RULE Pcircle IS FORM(Kcircle)
	ONCE	PpointValue() && PpointValue()
	REPEAT	Pproperty()
	ENDFORM

RULE Pcollector IS FORM(Kcollector)
	ENDFORM

RULE Pcolor IS FORM(Kcolor)
	ONCE	PscaledInteger() && PscaledInteger() && PscaledInteger()
	ENDFORM

RULE Pcomment IS CONDFORM(Kcomment, COMMENT)
	REPEAT	PstringToken()
	ENDFORM

RULE PcommentGraphics IS ZERO(n) FORM(KcommentGraphics)
	REPEAT	Pannotate() || Pfigure() || Pinstance() || G1(n,PboundingBox) ||
		Pproperty() || Pcomment() || PuserData()
	ENDFORM

RULE Pcompound IS FORM(Kcompound)
	REPEAT	PlogicNameRef()
	ENDFORM

RULE Pconcat IS FORM(Kconcat)
	REPEAT	PstringValue()
	ENDFORM

RULE PconnectLocation IS FORM(KconnectLocation)
	REPEAT	Pfigure()
	ENDFORM

RULE Pconstant IS FORM(Kconstant)
	ONCE	PvalueNameDef() && PtypedValue()
	ENDFORM

RULE Pconstraint IS FORM(Kconstraint)
	ONCE	PbooleanValue()
	REPEAT	Pproperty()
	ENDFORM

RULE Pcontents IS ZERO(n) FORM(Kcontents)
	FLAG(Fcont)
	REPEAT	Pinstance() || PoffPageConnector() || Pfigure() ||
		Psection() || Pnet() || PnetBundle() || Ppage() ||
		PcommentGraphics() || PportImplementation() || Ptiming() ||
		Psimulate() || Pwhen() || Pfollow() || PlogicPort() ||
		G1(n,PboundingBox) || Pconstant() || Pconstraint() ||
		Pvariable() || Passign() || Pblock() || Pif() || Piterate() ||
		Pwhile() || Pproperty() || Pcomment() || PuserData()
	UNFLAG(Fcont)
	ENDFORM

RULE PcornerType IS FORM(KcornerType)
	ONCE	MATCH(KEXTEND) || MATCH(KROUND) || MATCH(KTRUNCATE)
	ENDFORM

RULE Pcriticality IS FORM(Kcriticality)
	ONCE PintegerValue() || PintegerDisplay()
	ENDFORM

RULE PcurrentMap IS FORM(KcurrentMap)
	ONCE	PmiNoMaxValue()
	ENDFORM

RULE Pcurve IS FORM(Kcurve)
	REPEAT	Parc() || PpointValue()
	ENDFORM

RULE Pcycle IS FORM(Kcycle)
	ONCE	PintegerValue()
	OPTIONAL Pduration()
	ENDFORM

RULE PdataOrigin IS FORM(KdataOrigin)
	ONCE	PstringToken()
	OPTIONAL Pversion()
	ENDFORM

RULE PdcFaninLoad IS FORM(KdcFaninLoad)
	ONCE	PnumberValue() || PnumberDisplay()
	ENDFORM

RULE PdcFanoutLoad IS FORM(KdcFanoutLoad)
	ONCE	PnumberValue() || PnumberDisplay()
	ENDFORM

RULE PdcMaxFanin IS FORM(KdcMaxFanin)
	ONCE	PnumberValue() || PnumberDisplay()
	ENDFORM

RULE PdcMaxFanout IS FORM(KdcMaxFanout)
	ONCE	PnumberValue() || PnumberDisplay()
	ENDFORM

RULE Pdelay IS FORM(Kdelay)
	ONCE	PmiNoMaxValue() || PmiNoMaxDisplay()
	ENDFORM

RULE Pdelta IS FORM(Kdelta)
	REPEAT	PpointValue()
	ENDFORM

RULE Pderivation IS FORM(Kderivation)
	ONCE	MATCH(KCALCULATED) || MATCH(KMEASURED) || MATCH(KREQUIRED)
	ENDFORM

RULE Pdesign IS ZERO(n) FORM(Kdesign)
	ONCE	PdesignNameDef() && PcellRef()
	REPEAT	G1(n,Pstatus) || Pproperty() || Pcomment() || PuserData()
	ENDFORM

RULE Pdesignator IS FORM(Kdesignator)
	ONCE	PstringValue() || PstringDisplay()
	ENDFORM

RULE PdesignNameDef IS
	ONCE	PnameDef()
	END

RULE Pdifference IS FORM(Kdifference)
	ONCE	PfigureGroupRef() || PfigureOp()
	REPEAT	PfigureGroupRef() || PfigureOp()
	ENDFORM

RULE Pdirection IS FORM(Kdirection)
	ONCE	MATCH(KINOUT) || MATCH(KINPUT) || MATCH(KOUTPUT)
	ENDFORM

RULE Pdisplay IS FORM(Kdisplay)
	ONCE	PfigureGroupNameRef() || PfigureGroupOverride()
	OPTIONAL Pjustify()
	OPTIONAL Porientation()
	OPTIONAL Porigin()
	ENDFORM

RULE Pdivide IS FORM(Kdivide)
	ONCE	PnumberValue()
	REPEAT	PnumberValue()
	ENDFORM

RULE Pdominates IS FORM(Kdominates)
	REPEAT	PlogicNameRef()
	ENDFORM

RULE Pdot IS FORM(Kdot)
	ONCE	PpointValue()
	REPEAT	Pproperty()
	ENDFORM

RULE Pduration IS FORM(Kduration)
	ONCE	PnumberValue()
	ENDFORM

RULE Pe IS FORM(Ke)
	ONCE	PintegerToken() && PintegerToken()
	ENDFORM

Pedif IS /* root production rule, called externally */
	ZERO(n) FORM(Kedif)
	ONCE	PedifFileNameDef() && PedifVersion() &&
		PedifLevel() && PkeywordMap()
	REPEAT	G1(n,Pstatus) || Pexternal() || Plibrary() ||
		Pdesign() || Pcomment() || PuserData()
	ENDFORM

RULE PedifFileNameDef IS
	ONCE	PnameDef()
	END

RULE PedifLevel IS FORM(KedifLevel)
	ONCE	PintegerToken()
	ENDFORM

RULE PedifVersion IS FORM(KedifVersion)
	ONCE	PintegerToken() && PintegerToken() && PintegerToken()
	ENDFORM

RULE Pelse IS FORM(Kelse)
	REPEAT	Pstatement()
	ENDFORM

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

RULE PendType IS FORM(KendType)
	ONCE	MATCH(KEXTEND) || MATCH(KROUND) || MATCH(KTRUNCATE)
	ENDFORM

RULE Pentry IS FORM(Kentry)
	ONCE	(Pmatch() || Pchange() || Psteady()) &&
		(PlogicRef() || PportRef() || PnoChange() || Ptable())
	OPTIONAL Pdelay() || PloadDelay()
	ENDFORM

RULE Pescape IS FORM(Kescape)
	ENDFORM

RULE Pequal IS FORM(Kequal)
	ONCE	PnumberValue()
	REPEAT	PnumberValue()
	ENDFORM

RULE Pevent IS FORM(Kevent)
	ONCE	PportRef() || PportList() || PportGroup() ||
		PnetRef() || PnetGroup()
	REPEAT	Ptransition() || Pbecomes()
	ENDFORM

RULE Pexactly IS FORM(Kexactly)
	ONCE	PnumberValue()
	ENDFORM

RULE Pexternal IS ZERO(n) FORM(Kexternal)
	FLAG(Fext)
	ONCE	PlibraryNameDef() && PedifLevel() && Ptechnology()
	REPEAT	G1(n,Pstatus) || Pcell() || Pcomment() || PuserData()
	UNFLAG(Fext)
	ENDFORM

RULE Pfabricate IS FORM(Kfabricate)
	ONCE	PlayerNameDef() && PfigureGroupNameRef()
	ENDFORM

RULE Pfalse IS FORM(Kfalse)
	ENDFORM

RULE Pfigure IS FORM(Kfigure)
	ONCE	PfigureGroupNameRef() || PfigureGroupOverride()
	REPEAT	Pcircle() || Pdot() || PopenShape() || Ppath() || Ppolygon() ||
		Prectangle() || Pshape() || Pcomment() || PuserData()
	ENDFORM

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

RULE PfigureGroup IS ZERO(m) ZERO(n) ZERO(o) ZERO(p) ZERO(q) ZERO(r)
	ZERO(s) ZERO(t) ZERO(u) FORM(KfigureGroup)
	ONCE	PfigureGroupNameDef()
	REPEAT	G1(m,PcornerType) || G1(n,PendType) || G1(o,PpathWidth) ||
		G1(p,PborderWidth) || G1(q,Pcolor) || G1(r,PfillPattern) ||
		G1(s,PborderPattern) || G1(t,PtextHeight) || G1(u,Pvisible) ||
		PincludeFigureGroup() || Pproperty() || Pcomment() ||
		PuserData()
	ENDFORM

RULE PfigureGroupNameDef IS
	ONCE	PnameDef()
	END

RULE PfigureGroupNameRef IS
	ONCE	PnameRef()
	END

RULE PfigureGroupObject IS FORM(KfigureGroupObject)
	ONCE	PfigureGroupNameRef() || PfigureGroupRef() || PfigureOp()
	ENDFORM

RULE PfigureGroupOverride IS ZERO(m) ZERO(n) ZERO(o) ZERO(p) ZERO(q) ZERO(r)
	ZERO(s) ZERO(t) ZERO(u) FORM(KfigureGroupOverride)
	ONCE	PfigureGroupNameRef()
	REPEAT	G1(m,PcornerType) || G1(n,PendType) || G1(o,PpathWidth) ||
		G1(p,PborderWidth) || G1(q,Pcolor) || G1(r,PfillPattern) ||
		G1(s,PborderPattern) || G1(t,PtextHeight) || G1(u,Pvisible) ||
		Pproperty() || Pcomment() || PuserData()
	ENDFORM

RULE PfigureGroupRef IS FORM(KfigureGroupRef)
	ONCE	PfigureGroupNameRef()
	OPTIONAL PlibraryRef()
	ENDFORM

RULE PfigureOp IS
	ONCE	Pdifference() || Pintersection() || Pinverse() ||
		Poversize() || Punion()
	END

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

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

RULE PfillPattern IS FORM(KfillPattern)
	ONCE	PintegerValue() && PintegerValue() && Pboolean()
	ENDFORM

RULE Pfix IS FORM(Kfix)
	ONCE	PnumberValue()
	ENDFORM

RULE Pfloor IS FORM(Kfloor)
	ONCE	PnumberValue()
	ENDFORM

RULE Pfollow IS FORM(Kfollow)
	ONCE	(PportNameRef() || PportRef()) &&
		(PportRef() || Ptable())
	OPTIONAL Pdelay() || PloadDelay()
	ENDFORM

RULE PforbiddenEvent IS FORM(KforbiddenEvent)
	ONCE	PtimeInterval()
	REPEAT	Pevent()
	ENDFORM

RULE PforEach IS FORM(KforEach)
	ONCE	PformalNameRef() || PformalList()
	REPEAT	Pbuild() || Pactual() || Pliteral() ||
		PforEach() || Pcomment()
	ENDFORM

RULE Pform IS
	if (!ISKEYWORD(token->type)) return(FALSE);
	else add_token();
	REPEAT	PintegerToken() || PstringToken() ||
		Pidentifier() || Pform()
	ENDFORM

RULE Pformal IS FORM(Kformal)
	ONCE	PformalNameDef()
	REPEAT	Poptional() || Pcollector()
	ENDFORM

RULE PformalList IS FORM(KformalList)
	REPEAT	PformalNameRef()
	ENDFORM

RULE PformalNameDef IS