Uses of Class
org.jmlspecs.jml4.rac.CodeBuffer

Packages that use CodeBuffer

org.jmlspecs.jml4.rac

Uses of CodeBuffer in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac that return CodeBuffer

CodeBuffer	CodeBuffer.append(boolean b) Appends the string representation of the boolean argument.
CodeBuffer	CodeBuffer.append(char c) Appends the string representation of the character argument.
CodeBuffer	CodeBuffer.append(char[] str) Appends the string representation of the char[] argument.
CodeBuffer	CodeBuffer.append(CodeBuffer cb) Appends the given string buffer.
CodeBuffer	CodeBuffer.append(int i) Appends the string representation of the int argument.
CodeBuffer	CodeBuffer.append(java.lang.Object o) Appends the string representation of the object argument.
CodeBuffer	CodeBuffer.append(java.lang.String str) Appends the given string.
CodeBuffer	CodeBuffer.append(java.lang.StringBuffer sb) Appends the given string buffer.
CodeBuffer	CodeBuffer.append(java.lang.String str, java.lang.Object... args) Appends the given string to this buffer with format strings appearing in the string replaced with the corresponding arguments.
CodeBuffer	ExpressionTranslator.embedSpecCase(Expression e, SourceTypeBinding sourceTypeBinding, RacResult result, java.lang.String var, VariableGenerator varGen, CompilationResult compilationResult, RacConstants.Condition condition)
CodeBuffer	CodeBuffer.tab() Appends one tab of spaces.
CodeBuffer	CodeBuffer.tab(int n) Appends given number of tab spaces.

Methods in org.jmlspecs.jml4.rac with parameters of type CodeBuffer

CodeBuffer

CodeBuffer.append(CodeBuffer cb) Appends the given string buffer.