User Guide
SemanticAnalysisVisitor Class Reference
Visitor Implementation » Visitors

Visitor to check some semantic rules on the ast More...

Detailed Description

Visitor to check some semantic rules on the ast

Current checks:

  1. Check that a function or a procedure containing a TABLE statement contains only one argument (mandatory in mod2c).
  2. Check that destructor blocks are only inside mod file that are point_process.
  3. A TABLE statement in functions cannot have name list, and should have one in procedures.
  4. Check if ion variables from a USEION statement are not declared in CONSTANT block.
  5. Check if an independent variable is not 't'.
  6. Check that mutex are not badly use
  7. Check than function table got at least one argument.
  8. Check that at most one derivative block is present.
  9. Check that RANDOM variable is mentioned only as first arg in random function.

#include <semantic_analysis_visitor.hpp>

The documentation for this class was generated from the following file: