dk.brics.tajs.lattice

Class Renaming

java.lang.Object

dk.brics.tajs.lattice.Renaming

public class Renaming
extends Object

Constructor Summary

Constructors

Constructor and Description
Renaming()

Method Summary

Methods

Modifier and Type	Method and Description
static ObjectLabel	apply(Map<ObjectLabel,ObjectLabel> m, ObjectLabel objlabel) Renames the given object label according to the map.
static PropertyReference	apply(Map<ObjectLabel,ObjectLabel> m, PropertyReference p) Renames the given property reference according to the map.
static Set<ObjectLabel>	apply(Map<ObjectLabel,ObjectLabel> m, Set<ObjectLabel> objlabels) Renames the given object labels according to the map.

Methods inherited from class java.lang.Object

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

Constructor Detail

Renaming

public Renaming()

Method Detail

apply

public static ObjectLabel apply(Map<ObjectLabel,ObjectLabel> m,
                ObjectLabel objlabel)

Renames the given object label according to the map. If the object label is null or it does not occur in the map, it is returned unchanged.

apply

public static PropertyReference apply(Map<ObjectLabel,ObjectLabel> m,
                      PropertyReference p)

Renames the given property reference according to the map.

apply

public static Set<ObjectLabel> apply(Map<ObjectLabel,ObjectLabel> m,
                     Set<ObjectLabel> objlabels)

Renames the given object labels according to the map.