public class UserDataHandler
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
double |
NODE_ADOPTED |
double |
NODE_CLONED |
double |
NODE_DELETED |
double |
NODE_IMPORTED |
double |
NODE_RENAMED |
Constructor and Description |
---|
UserDataHandler() |
Modifier and Type | Method and Description |
---|---|
void |
handle(double operation,
java.lang.String key) |
void |
handle(double operation,
java.lang.String key,
java.lang.Object data) |
void |
handle(double operation,
java.lang.String key,
java.lang.Object data,
Node src) |
void |
handle(double operation,
java.lang.String key,
java.lang.Object data,
Node src,
Node dst) |
public double NODE_ADOPTED
public double NODE_CLONED
public double NODE_DELETED
public double NODE_IMPORTED
public double NODE_RENAMED
public void handle(double operation, java.lang.String key, java.lang.Object data, Node src, Node dst)
public void handle(double operation, java.lang.String key, java.lang.Object data, Node src)
public void handle(double operation, java.lang.String key, java.lang.Object data)
public void handle(double operation, java.lang.String key)