/** * Returns the label atom of the given name. * @return non-null iff name is non-null */ public @Nullable LabelAtom getLabelAtom(@CheckForNull String name) { if (name==null) return null; while(true) { Label l = labels.get(name); if(l!=null) return (LabelAtom)l; // non-existent LabelAtom la = new LabelAtom(name); if (labels.putIfAbsent(name, la)==null) la.load(); } }
public NodeAssignmentAction(String label) { this.labelAtom = new LabelAtom(label); }
@Override public Label getAssignedLabel(@Nonnull SubTask task) { return new LabelAtom(uuid); } }
/** * Returns the label atom of the given name. */ public LabelAtom getLabelAtom(String name) { if (name == null) { return null; } while (true) { Label l = labels.get(name); if (l != null) { return (LabelAtom) l; } // non-existent LabelAtom la = new LabelAtom(name); if (labels.putIfAbsent(name, la) == null) { la.load(); } } }
/** * Returns the label atom of the given name. * @return non-null iff name is non-null */ public @Nullable LabelAtom getLabelAtom(@CheckForNull String name) { if (name==null) return null; while(true) { Label l = labels.get(name); if(l!=null) return (LabelAtom)l; // non-existent LabelAtom la = new LabelAtom(name); if (labels.putIfAbsent(name, la)==null) la.load(); } }
/** * Returns the label atom of the given name. */ public LabelAtom getLabelAtom(String name) { if (name == null) { return null; } while (true) { Label l = labels.get(name); if (l != null) { return (LabelAtom) l; } // non-existent LabelAtom la = new LabelAtom(name); if (labels.putIfAbsent(name, la) == null) { la.load(); } } }
/** * Returns the label atom of the given name. */ public LabelAtom getLabelAtom(String name) { if (name == null) { return null; } while (true) { Label l = labels.get(name); if (l != null) { return (LabelAtom) l; } // non-existent LabelAtom la = new LabelAtom(name); if (labels.putIfAbsent(name, la) == null) { la.load(); } } }
/** * Returns the label atom of the given name. */ public LabelAtom getLabelAtom(String name) { if (name == null) { return null; } while (true) { Label l = labels.get(name); if (l != null) { return (LabelAtom) l; } // non-existent LabelAtom la = new LabelAtom(name); if (labels.putIfAbsent(name, la) == null) { la.load(); } } }