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:

Serializable, DLExpressionVisitor

Direct Known Subclasses:

BotEquivalenceEvaluator, GeneralSyntacticLocalityChecker, TopEquivalenceEvaluator

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

helper class to set signature and locality class

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SigAccessor() empty sig
SigAccessor(TSignature s)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isTopOrBuiltInDataType(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, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

SigAccessor

public SigAccessor()

empty sig

SigAccessor

public SigAccessor(TSignature s)

Parameters:

s - s

Method Detail

setSignature

@Original
public void setSignature(TSignature s)

Parameters:

s - s

isTopOrBuiltInDataType

@Original
public boolean isTopOrBuiltInDataType(Expression expr)

Parameters:

expr - expr

Returns:

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

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