Home | History | Annotate | Download | only in text

Lines Matching refs:PRE

158                 PRE(descriptor.n_arguments == arguments_.size());
306         PRE(is_statement(line));
341             PRE(_loops.size() == _loop_level);
394         PRE(_skip.top());
539 /// \pre The variable must not already exist as a vector.
547     PRE(_vectors.find(name) == _vectors.end());
557 /// \pre The variable must exist.
563     PRE(_variables.find(name) != _variables.end());
573 /// \pre The vector must not already exist as a variable.
579     PRE(_variables.find(name) == _variables.end());
586 /// \pre name The vector must exist.
594     PRE(_variables.find(name) == _variables.end());
595     PRE(_vectors.find(name) != _vectors.end());