uk.ac.manchester.cs.jfact.split

Class SigAccessor

java.lang.Object

uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter

uk.ac.manchester.cs.jfact.split.SigAccessor

All Implemented Interfaces:

DLExpressionVisitor

Direct Known Subclasses:

BotEquivalenceEvaluator, SyntacticLocalityChecker, TopEquivalenceEvaluator

@PortedFrom(file="LocalityChecker.h",
            name="SigAccessor")
public class SigAccessor
extends DLExpressionVisitorAdapter

helper class to set signature and locality class

Constructor Summary

Constructors

Constructor and Description
SigAccessor()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isTopOrBuiltInDataType(Expression expr)
boolean	isTopOrBuiltInInfDataType(Expression expr)
void	setSignature(TSignature s)
boolean	topCLocal()
boolean	topRLocal()

Methods inherited from class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

SigAccessor

public SigAccessor()

Method Detail

setSignature

@Original
public void setSignature(TSignature s)

isTopOrBuiltInDataType

@Original
public boolean isTopOrBuiltInDataType(Expression expr)

Returns:

true iff EXPR is a top datatype or a built-in datatype;

isTopOrBuiltInInfDataType

@Original
public boolean isTopOrBuiltInInfDataType(Expression expr)

Returns:

true iff EXPR is a top datatype or an infinite built-in datatype; FIXME add real/fraction later

topCLocal

@PortedFrom(file="LocalityChecker.h",
            name="topCLocal")
public boolean topCLocal()

Returns:

true iff concepts are treated as TOPs

topRLocal

@PortedFrom(file="LocalityChecker.h",
            name="topRLocal")
public boolean topRLocal()

Returns:

true iff roles are treated as TOPs