Uses of Class
java.lang.StringBuffer

Packages that use StringBuffer

java.io	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.util.regex	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
javax.servlet.http
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of StringBuffer in java.io

Methods in java.io that return StringBuffer

StringBuffer

StringWriter.getBuffer()

Uses of StringBuffer in java.lang

Methods in java.lang that return StringBuffer

StringBuffer	StringBuffer.append(char c)
StringBuffer	StringBuffer.append(boolean b)
StringBuffer	StringBuffer.append(String s)
StringBuffer	StringBuffer.append(Object o)
StringBuffer	StringBuffer.append(StringBuffer s)
StringBuffer	StringBuffer.append(char[] ca, int i, int j)
StringBuffer	StringBuffer.append(int i)
StringBuffer	StringBuffer.append(float f)
StringBuffer	StringBuffer.append(double d)
StringBuffer	StringBuffer.append(char[] ca)
StringBuffer	StringBuffer.append(long l)
StringBuffer	StringBuffer.replace(int start, int end, String str)
StringBuffer	StringBuffer.deleteCharAt(int index)
StringBuffer	StringBuffer.insert(int offset, long l)
StringBuffer	StringBuffer.insert(int offset, char[] ca, int offset2, int len)
StringBuffer	StringBuffer.insert(int offset, double d)
StringBuffer	StringBuffer.insert(int offset, char c)
StringBuffer	StringBuffer.insert(int offset, int i)
StringBuffer	StringBuffer.insert(int offset, char[] ca)
StringBuffer	StringBuffer.insert(int offset, boolean b)
StringBuffer	StringBuffer.insert(int offset, Object o)
StringBuffer	StringBuffer.insert(int offset, String s)
StringBuffer	StringBuffer.insert(int offset, float f)
StringBuffer	StringBuffer.reverse()
StringBuffer	StringBuffer.delete(int i, int j)

Methods in java.lang with parameters of type StringBuffer

boolean	String.contentEquals(StringBuffer sb)
StringBuffer	StringBuffer.append(StringBuffer s)

Constructors in java.lang with parameters of type StringBuffer

String(StringBuffer buffer)

Uses of StringBuffer in java.util.regex

Methods in java.util.regex that return StringBuffer

StringBuffer

Matcher.appendTail(StringBuffer sb)

Methods in java.util.regex with parameters of type StringBuffer

Matcher	Matcher.appendReplacement(StringBuffer sb, String replacement)
StringBuffer	Matcher.appendTail(StringBuffer sb)

Uses of StringBuffer in javax.servlet.http

Methods in javax.servlet.http that return StringBuffer

static StringBuffer	HttpUtils.getRequestURL(HttpServletRequest req) Deprecated.
abstract StringBuffer	HttpServletRequest.getRequestURL()
StringBuffer	HttpServletRequestWrapper.getRequestURL()

Uses of StringBuffer in org.jmlspecs.jmldoc.jmldoc_142

Fields in org.jmlspecs.jmldoc.jmldoc_142 declared as StringBuffer

protected StringBuffer

SpecWriter.sb

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type StringBuffer

protected void	JmlHTML.classSpecs(JmlTypeDeclaration jmltype, StringBuffer sb, boolean inherited, String title) This method generates the html describing the specifications of class/interface jmltype.
void	JmlHTML.printClassSpecsHeader(StringBuffer classspec, boolean inherited, String title)
void	JmlHTML.printClassSpecsHeaderMain(StringBuffer classspec)
void	JmlHTML.printClassSpecsHeaderShort(StringBuffer classspec)
void	JmlHTML.printClassSpecsHeaderInherited(StringBuffer classspec, String title)
void	JmlHTML.printClassSpecsFooter(StringBuffer classspec)
protected boolean	JmlHTML.superSpecification(StringBuffer s, CClass sclass, JmlMethodDeclaration jm, String sig, boolean isclass, com.sun.tools.doclets.standard.HtmlStandardWriter writer) Generates the html for any specifications for the method 'jm' in the super class 'sclass'.
protected void	JmlHTML.insertSpecification(StringBuffer s, JmlMethodSpecification jms) This method actually generates a string representing the given JmlMethodSpecification and appends it to the given StringBuffer.
(package private) static void	SpecWriter.writePrivacy(StringBuffer sb, long p)
(package private) static void	SpecWriter.writeModifiers(StringBuffer sb, long p)
static void	SpecWriter.removeBR(StringBuffer classspec) This method removes a " "+eol combination from the end of the given StringBuffer, if it is present.

Constructors in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type StringBuffer

SpecWriter(StringBuffer s)
Constructs a SpecWriter with the given StringBuffer.

SpecWriter(StringBuffer s, JPhylum p)
Constructs a SpecWriter with the given StringBuffer and then walks the AST with the SpecWriter, appending text as it goes.

Uses of StringBuffer in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as StringBuffer

protected StringBuffer	WrapperMethod.args arguments to pre/orig, post, or xpost method calls
protected StringBuffer	WrapperMethod.postArgs arguments to pre/orig, post, or xpost method calls
protected StringBuffer	WrapperMethod.xpostArgs arguments to pre/orig, post, or xpost method calls

Methods in org.jmlspecs.jmlrac that return StringBuffer

protected StringBuffer	AssertionMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds and returns a method header as a string.
protected StringBuffer	InvariantLikeMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds and returns the method header of the assertion check method as a string.
protected StringBuffer	MotherConstraintMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds, in a string form, the header of constraint method.
protected StringBuffer	SubtypeConstraintMethod.buildHeader(String returnType, String name, JFormalParameter[] parameters, CClassType[] exceptions) Builds, in a string form, the header of constraint method.

Uses of StringBuffer in org.jmlspecs.jmlunit

Fields in org.jmlspecs.jmlunit declared as StringBuffer

private StringBuffer

JMLTestResult.meaninglessInformation StringBuffer that contains information on all of the meaningless test runs.

Uses of StringBuffer in org.multijava.mjc

Fields in org.multijava.mjc declared as StringBuffer

(package private) StringBuffer	FunctionalTestSuite.TestCase.Processor.errors
(package private) StringBuffer	FunctionalTestSuite.TestCase.Processor.results
static StringBuffer	TestMjcParser.errorOut
private StringBuffer	TestMjcParser.TestCompiler.errorOut

Constructors in org.multijava.mjc with parameters of type StringBuffer

TestMjcParser.TestCompiler(StringBuffer errorOut, ModifierUtility modUtil)