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

Class CustomBuiltInPredicateNameChecker

java.lang.Object

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

All Implemented Interfaces:

BuiltInPredicateNameChecker

public class CustomBuiltInPredicateNameChecker
extends Object
implements BuiltInPredicateNameChecker

Constructor Summary

Constructors

Constructor	Description
CustomBuiltInPredicateNameChecker(Set<String> builtInPredicateNames)

Method Summary

Modifier and Type	Method	Description
boolean	isBuiltInPredicateName(String predicateName)

Methods inherited from class java.lang.Object

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

Constructor Details

CustomBuiltInPredicateNameChecker

public CustomBuiltInPredicateNameChecker(Set<String> builtInPredicateNames)

Method Details

isBuiltInPredicateName

public boolean isBuiltInPredicateName(String predicateName)

Specified by:

isBuiltInPredicateName in interface BuiltInPredicateNameChecker