Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser

Class LogicSchemaWithoutIDsParser

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser<LogicConstraintWithoutIDSpec>

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaWithoutIDsParser

public class LogicSchemaWithoutIDsParser
extends LogicSchemaParser<LogicConstraintWithoutIDSpec>

Constructor Summary

Constructors

Constructor	Description
LogicSchemaWithoutIDsParser()
LogicSchemaWithoutIDsParser(TermTypeCriteria stringToTermSpecFactory, CustomBuiltInPredicateNameChecker builtInPredicateNameChecker)

Method Summary

Modifier and Type	Method	Description
protected LogicSchemaFactory<LogicConstraintWithoutIDSpec>	createLogicSchemaFactory()
protected LogicSchemaGrammarToSpecVisitor<LogicConstraintWithoutIDSpec>	createVisitor(StringToTermSpecFactory stringToTermSpecFactory)

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser

parse, parse, parseToSpec

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

LogicSchemaWithoutIDsParser

public LogicSchemaWithoutIDsParser()

LogicSchemaWithoutIDsParser

public LogicSchemaWithoutIDsParser(TermTypeCriteria stringToTermSpecFactory,
 CustomBuiltInPredicateNameChecker builtInPredicateNameChecker)

Method Details

createVisitor

protected LogicSchemaGrammarToSpecVisitor<LogicConstraintWithoutIDSpec> createVisitor(StringToTermSpecFactory stringToTermSpecFactory)

Specified by:

createVisitor in class LogicSchemaParser<LogicConstraintWithoutIDSpec>

createLogicSchemaFactory

protected LogicSchemaFactory<LogicConstraintWithoutIDSpec> createLogicSchemaFactory()

Specified by:

createLogicSchemaFactory in class LogicSchemaParser<LogicConstraintWithoutIDSpec>