fr.inria.oadymppac.solver
Interface Annotation

All Superinterfaces:
ChronoProvider, DepthProvider, Indexable, SolverElement, SolverMainElement, SolverManagable, StateProvider
All Known Implementing Classes:
AbstractAnnotation

public interface Annotation
extends SolverMainElement, StateProvider

Author:
raf To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Field Summary
static java.lang.String EVENT_TYPE
           
static int NONE
           
 
Method Summary
 void addReference(Annotation a)
           
 void clearReferences()
           
 int countReferences()
           
 java.lang.String getCommand()
           
 java.lang.String getIdentifier()
           
 java.lang.String getName()
           
 java.util.Collection getReferences()
           
 short getType()
           
 void removeReference(Annotation a)
           
 void setCommand(java.lang.String command)
           
 void setIdentifier(java.lang.String ident)
           
 void setName(java.lang.String name)
           
 void setReferences(java.util.Collection references)
           
 void setType(short type)
           
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverMainElement
getContext, getFile, getLine, getTime, setContext, setFile, setLine, setTime
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverElement
getEventType, getLabel, getSolverType
 
Methods inherited from interface fr.inria.oadymppac.utils.Indexable
getIndex, getKey, reset, setIndex
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverManagable
getSolver, setSolver
 
Methods inherited from interface fr.inria.oadymppac.solver.DepthProvider
getDepth, setDepth
 
Methods inherited from interface fr.inria.oadymppac.solver.ChronoProvider
getChrono, setChrono
 
Methods inherited from interface fr.inria.oadymppac.solver.StateProvider
getState, setState
 

Field Detail

EVENT_TYPE

public static final java.lang.String EVENT_TYPE
See Also:
Constant Field Values

NONE

public static final int NONE
See Also:
Constant Field Values
Method Detail

getIdentifier

public java.lang.String getIdentifier()

getName

public java.lang.String getName()

getType

public short getType()

getCommand

public java.lang.String getCommand()

setIdentifier

public void setIdentifier(java.lang.String ident)

setName

public void setName(java.lang.String name)

setType

public void setType(short type)

setCommand

public void setCommand(java.lang.String command)

getReferences

public java.util.Collection getReferences()

setReferences

public void setReferences(java.util.Collection references)

addReference

public void addReference(Annotation a)

removeReference

public void removeReference(Annotation a)

countReferences

public int countReferences()

clearReferences

public void clearReferences()