std::shared_ptr< Move > copy() const
std::string sourceFileName() const
TTAMachine::Socket & destinationSocket() const
Move & operator=(const Move &)
Assignment not allowed.
bool isTriggering() const
Terminal * dst_
The destination of the move.
bool isFunctionCall() const
bool isUnconditional() const
int sourceLineNumber() const
Terminal & destination() const
const TTAMachine::Bus & bus() const
void setGuard(MoveGuard *guard)
std::string toString() const
void setParent(Instruction &ins)
TTAMachine::Socket & sourceSocket() const
void setDestination(Terminal *dst)
bool isControlFlowMove() const
MoveGuard & guard() const
Terminal * src_
The source of the move.
const TTAMachine::Bus * bus_
The bus where the transport is carried.
Move(Terminal *src, Terminal *dst, const TTAMachine::Bus &bus, MoveGuard *guard)
bool isInInstruction() const
Instruction * parent_
Parent instruction of the move.
bool hasSourceLineNumber() const
Instruction & parent() const
bool isConditional() const
Terminal & source() const
MoveGuard * guard_
The boolean expression that predicates the move.
void setBus(const TTAMachine::Bus &bus)
void setSource(Terminal *src)
bool hasSourceFileName() const