src/main/java/org/semgus/java/problem/ProblemGenerator.java
public void consume(SpecEvent eventRaw) {
        if (eventRaw instanceof MetaSpecEvent.SetInfoEvent event) {
            consumeSetInfo(event);
        } else if (eventRaw instanceof DeclareTermTypeEvent event) {
            consumeDeclareTermType(event);
        } else if (eventRaw instanceof DefineTermTypeEvent event) {
            consumeDefineTermType(event);
        } else if (eventRaw instanceof SemgusSpecEvent.HornClauseEvent event) {
            consumeHornClause(event);
        } else if (eventRaw instanceof SemgusSpecEvent.ConstraintEvent event) {
            consumeConstraint(event);
        } else if (eventRaw instanceof SemgusSpecEvent.SynthFunEvent event) {
            consumeSynthFun(event);
        } // other events ignored, since they don't carry any data that we are interested in
    }
/**
     * Consumes a SemGuS parser event, collecting its data into this problem generator's state.
     *
     * @param eventRaw The parser event to consume.
     */
Consumes a SemGuS parser event, collecting its data into this problem generator's state.
@param eventRaw The parser event to consume.
Consumes a SemGuS parser event collecting its data into this problem generator ' s state . @param eventRaw The parser event to consume .
public void consume(SpecEvent eventRaw) {
        if (eventRaw instanceof MetaSpecEvent.SetInfoEvent event) {
            consumeSetInfo(event);
        } else if (eventRaw instanceof DeclareTermTypeEvent event) {
            consumeDeclareTermType(event);
        } else if (eventRaw instanceof DefineTermTypeEvent event) {
            consumeDefineTermType(event);
        } else if (eventRaw instanceof SemgusSpecEvent.HornClauseEvent event) {
            consumeHornClause(event);
        } else if (eventRaw instanceof SemgusSpecEvent.ConstraintEvent event) {
            consumeConstraint(event);
        } else if (eventRaw instanceof SemgusSpecEvent.SynthFunEvent event) {
            consumeSynthFun(event);
        } 
    }
public void consume ( SpecEvent eventRaw ) { if ( eventRaw instanceof MetaSpecEvent . SetInfoEvent event ) { consumeSetInfo ( event ) ; } else if ( eventRaw instanceof DeclareTermTypeEvent event ) { consumeDeclareTermType ( event ) ; } else if ( eventRaw instanceof DefineTermTypeEvent event ) { consumeDefineTermType ( event ) ; } else if ( eventRaw instanceof SemgusSpecEvent . HornClauseEvent event ) { consumeHornClause ( event ) ; } else if ( eventRaw instanceof SemgusSpecEvent . ConstraintEvent event ) { consumeConstraint ( event ) ; } else if ( eventRaw instanceof SemgusSpecEvent . SynthFunEvent event ) { consumeSynthFun ( event ) ; } }
Consumes a SemGuS parser event, collecting its data into this problem generator's state.
Consumes a SemGuS parser event collecting its data into this problem generator ' s state .
// other events ignored, since they don't carry any data that we are interested in