public class WSetEvent
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
WSetEvent(LogicTuple lt,
IId s,
IId t) |
Modifier and Type | Method and Description |
---|---|
LogicTuple |
getOp() |
IId |
getSource() |
IId |
getTarget() |
void |
setOp(LogicTuple o) |
void |
setSource(IId s) |
void |
setTarget(IId t) |
public WSetEvent(LogicTuple lt, IId s, IId t)
lt
- the tuple representing the events
- the identifier of the event sourcet
- the identifier of the event targetpublic LogicTuple getOp()
public IId getSource()
public IId getTarget()
public void setOp(LogicTuple o)
o
- the op to setpublic void setSource(IId s)
s
- the source to setpublic void setTarget(IId t)
t
- the target to set