uk.ac.manchester.cs.jfact.split

Class TSignature

java.lang.Object

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

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

class to hold the signature of a module

Constructor Summary

Constructors

Constructor and Description
TSignature()
TSignature(TSignature copy)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(NamedEntity p) add names to signature
Set<NamedEntity>	begin()
void	clear() clear the signature
boolean	contains(Expression p)
boolean	containsNamedEntity(NamedEntity p)
boolean	equals(Object obj)
int	hashCode()
List<NamedEntity>	intersect(TSignature s2)
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	topCLocal()
boolean	topRLocal()

Methods inherited from class java.lang.Object

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

Constructor Detail

TSignature

public TSignature()

TSignature

public TSignature(TSignature copy)

Method Detail

add

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

add names to signature

remove

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

remove given element from a signature

setLocality

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

set new locality polarity

setLocality

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

set new locality polarity

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

containsNamedEntity

@Original
public boolean containsNamedEntity(NamedEntity p)

Returns:

true iff signature contains given element

contains

@PortedFrom(file="tSignature.h",
            name="contains")
public boolean contains(Expression 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()

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

intersect

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