public class Renaming
extends java.lang.Object
Constructor and Description |
---|
Renaming() |
Modifier and Type | Method and Description |
---|---|
static ObjectLabel |
apply(java.util.Map<ObjectLabel,ObjectLabel> m,
ObjectLabel objlabel)
Renames the given object label according to the map.
|
static ObjectProperty |
apply(java.util.Map<ObjectLabel,ObjectLabel> m,
ObjectProperty p)
Renames the given property reference according to the map.
|
static java.util.Set<ObjectLabel> |
apply(java.util.Map<ObjectLabel,ObjectLabel> m,
java.util.Set<ObjectLabel> objlabels)
Renames the given object labels according to the map.
|
public static ObjectLabel apply(java.util.Map<ObjectLabel,ObjectLabel> m, ObjectLabel objlabel)
public static ObjectProperty apply(java.util.Map<ObjectLabel,ObjectLabel> m, ObjectProperty p)
public static java.util.Set<ObjectLabel> apply(java.util.Map<ObjectLabel,ObjectLabel> m, java.util.Set<ObjectLabel> objlabels)
Copyright © 2009-2019 Aarhus University