Searched refs:statementToBuffer (Results 1 – 1 of 1) sorted by relevance
133 private void statementToBuffer(Statement s, OutBuffer* buf, HdrGenState* hgs) in statementToBuffer() function1580 frequire.statementToBuffer(buf, hgs); in contractsToBuffer()1614 fensure.ensure.statementToBuffer(buf, hgs); in contractsToBuffer()1650 f.fbody.statementToBuffer(buf, hgs); in bodyToBuffer()