Package edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers

Class StickyChecker

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusLanguageChecker

edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.StickyChecker

public class StickyChecker
extends DatalogPlusMinusLanguageChecker

Constructor Summary

Constructors

Constructor	Description
StickyChecker()

Method Summary

Modifier and Type	Method	Description
DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage	getDatalogPlusMinusName()
boolean	isSticky(DependencySchema dependencySchema)
boolean	satisfies(DependencySchema dependencySchema)

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.analyzers.DatalogPlusMinusLanguageChecker

someDependencyContainsBuiltInOrNegatedLiteralInBody

Methods inherited from class java.lang.Object

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

Constructor Details

StickyChecker

public StickyChecker()

Method Details

isSticky

public boolean isSticky(DependencySchema dependencySchema)

satisfies

public boolean satisfies(DependencySchema dependencySchema)

Specified by:

satisfies in class DatalogPlusMinusLanguageChecker

getDatalogPlusMinusName

public DatalogPlusMinusAnalyzer.DatalogPlusMinusLanguage getDatalogPlusMinusName()

Specified by:

getDatalogPlusMinusName in class DatalogPlusMinusLanguageChecker