DiffPattern¶

public final class DiffPattern¶: Class that holds one differentiation pattern. The unit name and each var name are “identifier“‘s. Each “identifier” is in fact a TapList of String’s that describes the path to the object starting from the root namespace.

Constructors¶

DiffPattern¶

public DiffPattern(String casN, TapList<TapList<String>> indepsPathNames, TapList<TapList<String>> depsPathNames)¶

Methods¶

casN¶

public String casN()¶

depsPathNames¶

public TapList<TapList<String>> depsPathNames()¶

depsPathZones¶

public TapList<TapIntList> depsPathZones()¶

depsZones¶

public TapIntList depsZones()¶

indepsPathNames¶

public TapList<TapList<String>> indepsPathNames()¶

indepsPathZones¶

public TapList<TapIntList> indepsPathZones()¶

indepsZones¶

public TapIntList indepsZones()¶

setDepsPathNames¶

public void setDepsPathNames(TapList<TapList<String>> depsPathNames)¶

setDepsPathZones¶

public void setDepsPathZones(TapList<TapIntList> depsPathZones)¶

setDepsZones¶

public void setDepsZones(TapIntList depsZones)¶

setIndepsPathNames¶

public void setIndepsPathNames(TapList<TapList<String>> indepsPathNames)¶

setIndepsPathZones¶

public void setIndepsPathZones(TapList<TapIntList> indepsPathZones)¶

setIndepsZones¶

public void setIndepsZones(TapIntList indepsZones)¶

toString¶

public String toString()¶