LeafQuantifierParser.java

package edu.udel.cis.vsl.tass.ast.parser;

import edu.udel.cis.vsl.tass.ast.IF.expression.BindingExpressionNodeIF;


class LeafQuantifierParser extends LeafParser {

    public LeafQuantifierParser(NodeTypes nodeTypes, RefMappers refMappers) {
        super(nodeTypes, refMappers);
    }
    
    @Override
    public LeafQuantifierParser makeInstance() {
        return new LeafQuantifierParser(nodeTypes, refMappers);
    }

    @Override
    public QuantifierEltWrapper node() {
        return new QuantifierEltWrapper(BindingExpressionNodeIF.Quantifier.valueOf(charData.trim()));
    }

}