uk.ac.manchester.cs.jfact.split

Class TSignature

java.lang.Object

uk.ac.manchester.cs.jfact.split.TSignature

All Implemented Interfaces:

Serializable

@PortedFrom(file="tSignature.h",
            name="TSignature")
public class TSignature
extends Object
implements Serializable

class to hold the signature of a module

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TSignature() Default constructor.
TSignature(TSignature copy)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(NamedEntity p) add names to signature
void	add(TSignature Sig) add another signature to a given one
Set<NamedEntity>	begin()
boolean	botCLocal()
boolean	botRLocal()
void	clear() clear the signature
boolean	contains(Expression p)
boolean	containsNamedEntity(NamedEntity p)
boolean	equals(Object obj)
int	hashCode()
List<NamedEntity>	intersect(TSignature s2)
boolean	nc(NamedEntity entity)
void	remove(NamedEntity p) remove given element from a signature
void	setLocality(boolean top) set new locality polarity
void	setLocality(boolean topC, boolean topR) set new locality polarity
int	size()
boolean	subset(TSignature sig, boolean improper)
boolean	topCLocal()
boolean	topRLocal()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TSignature

public TSignature()

Default constructor.

TSignature

public TSignature(TSignature copy)

Parameters:

copy - copy

Method Detail

add

@PortedFrom(file="tSignature.h",
            name="add")
public void add(NamedEntity p)

add names to signature

Parameters:

p - p

remove

@PortedFrom(file="tSignature.h",
            name="remove")
public void remove(NamedEntity p)

remove given element from a signature

Parameters:

p - p

add

@PortedFrom(file="tSignature.h",
            name="add")
public void add(TSignature Sig)

add another signature to a given one

Parameters:

Sig - Sig

setLocality

@PortedFrom(file="tSignature.h",
            name="setLocality")
public void setLocality(boolean top)

set new locality polarity

Parameters:

top - top

setLocality

@PortedFrom(file="tSignature.h",
            name="setLocality")
public void setLocality(boolean topC,
                                  boolean topR)

set new locality polarity

Parameters:

topC - topC

topR - topR

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

nc

@PortedFrom(file="LocalityChecker.h",
            name="nc")
public boolean nc(NamedEntity entity)

Parameters:

entity - entity

Returns:

true iff SIGnature does NOT contain given entity

containsNamedEntity

@Original
public boolean containsNamedEntity(NamedEntity p)

Parameters:

p - p

Returns:

true iff signature contains given element

contains

@PortedFrom(file="tSignature.h",
            name="contains")
public boolean contains(Expression p)

Parameters:

p - p

Returns:

true iff signature contains given element

size

@PortedFrom(file="tSignature.h",
            name="size")
public int size()

Returns:

size of the signature

clear

@PortedFrom(file="tSignature.h",
            name="clear")
public void clear()

clear the signature

begin

@PortedFrom(file="tSignature.h",
            name="begin")
public Set<NamedEntity> begin()

Returns:

named entites

topCLocal

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

Returns:

true iff concepts are treated as TOPs

topRLocal

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

Returns:

true iff roles are treated as TOPs

botCLocal

@PortedFrom(file="tSignature.h",
            name="botCLocal")
public boolean botCLocal()

Returns:

true iff concepts are treated as TOPs

botRLocal

@PortedFrom(file="tSignature.h",
            name="botRLocal")
public boolean botRLocal()

Returns:

true iff roles are treated as TOPs

intersect

@Original
public List<NamedEntity> intersect(TSignature s2)

Parameters:

s2 - s2

Returns:

true if this and s2 intersect

subset

@PortedFrom(file="tSignature.h",
            name="subset")
public boolean subset(TSignature sig,
                                boolean improper)

Parameters:

sig - sig

improper - improper

Returns:

true if *THIS \subseteq SIG (\subset if IMPROPER = false )

toString

public String toString()

Overrides:

toString in class Object