Class Assert

Inheritance Relationships

Base Type

Class Documentation

class Assert : public seq::Stmt

Public Functions

Assert(Expr *expr)
void resolveTypes()

Performs type resolution on this statement and all sub-expressions/statements/etc. This is called prior to Expr::getType().

void codegen0(llvm::BasicBlock *&block)

Performs code generation for this statement.

Parameters
  • block: reference to block where code should be generated; possibly modified to point to a new block where codegen should resume

Assert *clone(Generic *ref)

Clones this statement. ref is used internally to keep track of cloned objects, and to make sure we don’t clone certain objects twice.

Return

cloned statement

Parameters
  • ref: generic object that is being cloned