Lib/Source/Interpreter.cpp
// ============================================================================
// Execute load receive & store request statements
// ============================================================================
Execute load receive & store request statements
Execute load receive & store request statements
void execLoadReceive(CoreState* s, Expr::Ptr e) {
  assert(s->loadBuffer.size() > 0);
  assert(e->tag() == Expr::VAR);
  Vec val = s->loadBuffer.remove(0);
  assignToVar(s, Always, e->var(), val);
}
void execLoadReceive ( CoreState * s , Expr :: Ptr e ) { assert ( s -> loadBuffer . size ( ) > 0 ) ; assert ( e -> tag ( ) == Expr :: VAR ) ; Vec val = s -> loadBuffer . remove ( 0 ) ; assignToVar ( s , Always , e -> var ( ) , val ) ; }
Execute load receive & store request statements
Execute load receive & store request statements