workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/decorations/StateDecoration.java
package org.workcraft.plugins.wtg.decorations;
import org.workcraft.gui.tools.Decoration;
public interface StateDecoration extends Decoration {
boolean isMarked();
final class Marked implements StateDecoration {
private Marked() {
}
@Override
public boolean isMarked() {
return true;
}
public static final Marked INSTANCE = new Marked();
}
final class Unmarked implements StateDecoration {
private Unmarked() {
}
@Override
public boolean isMarked() {
return false;
}
public static final Unmarked INSTANCE = new Unmarked();
}
}