public override object VisitEventDecl(PParser.EventDeclContext context)
{
// EVENT name=Iden
var pEvent = (PEvent)nodesToDeclarations.Get(context);
// cardinality?
var hasAssume = context.cardinality()?.ASSUME() != null;
var hasAssert = context.cardinality()?.ASSERT() != null;
var cardinality = int.Parse(context.cardinality()?.IntLiteral().GetText() ?? "-1");
pEvent.Assume = hasAssume ? cardinality : -1;
pEvent.Assert = hasAssert ? cardinality : -1;
// (COLON type)?
pEvent.PayloadType = ResolveType(context.type());
// annotationSet?
if (context.annotationSet() != null)
{
throw new NotImplementedException("event annotations");
}
// SEMI
return(pEvent);
}
public override object VisitEventDecl(PParser.EventDeclContext context)
{
// EVENT name=Iden
PEvent pEvent = (PEvent)nodesToDeclarations.Get(context);
// cardinality?
bool hasAssume = context.cardinality()?.ASSUME() != null;
bool hasAssert = context.cardinality()?.ASSERT() != null;
int cardinality = int.Parse(context.cardinality()?.IntLiteral().GetText() ?? "-1");
pEvent.Assume = hasAssume ? cardinality : -1;
pEvent.Assert = hasAssert ? cardinality : -1;
// (COLON type)?
pEvent.PayloadType = ResolveType(context.type());
// SEMI
return(pEvent);
}
