Interface MemoryEventNode

All Superinterfaces:
ASTNode, DependsEventNode

public interface MemoryEventNode extends DependsEventNode
A depends event which specifies reading or writing a list of memory units. It has the syntax
 \read(m0, m1, ...)
 
or
 \write(m0, m1, ...)
 
  • Method Details