Package org.checkerframework.afu.annotator.find

Class CloseParenthesisInsertion

java.lang.Object

org.checkerframework.afu.annotator.find.Insertion

org.checkerframework.afu.annotator.find.CloseParenthesisInsertion

public class CloseParenthesisInsertion
extends Insertion

This insertion adds two closing parentheses to close the unclosed parentheses left by a CastInsertion. This should be inserted after the expression that's being casted.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.afu.annotator.find.Insertion

Insertion.Kind

Field Summary

Fields inherited from class org.checkerframework.afu.annotator.find.Insertion

alwaysQualify, packageNames

Constructor Summary

Constructors

Constructor	Description
CloseParenthesisInsertion(Criteria criteria, boolean separateLine)

Method Summary

Modifier and Type	Method	Description
protected boolean	addLeadingSpace(boolean gotSeparateLine, int pos, char precedingChar)	Indicates if a preceding space should be added to this insertion.
protected boolean	addTrailingSpace(boolean gotSeparateLine)	Indicates if a trailing space should be added to this insertion.
Insertion.Kind	getKind()	Gets the kind of this insertion.
protected String	getText(boolean abbreviate)	Gets the insertion text.

Methods inherited from class org.checkerframework.afu.annotator.find.Insertion

collectionToString, decorateType, decorateType, getAlwaysQualify, getCriteria, getPackageNames, getText, getText, isInserted, isSeparateLine, removePackage, setAlwaysQualify, setInserted, toString, toStringWithoutClass, typeToString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

CloseParenthesisInsertion

public CloseParenthesisInsertion(Criteria criteria,
 boolean separateLine)

Method Details

getText

protected String getText(boolean abbreviate)

Description copied from class: Insertion

Gets the insertion text.

Specified by:

getText in class Insertion

Parameters:

abbreviate - if true, the package name will be removed from the annotations. The package name can be retrieved again by calling the Insertion.getPackageNames() method.

Returns:

the text to insert

addLeadingSpace

protected boolean addLeadingSpace(boolean gotSeparateLine,
 int pos,
 char precedingChar)

Description copied from class: Insertion

Indicates if a preceding space should be added to this insertion. Subclasses may override this method for custom leading space rules.

Overrides:

addLeadingSpace in class Insertion

Parameters:

gotSeparateLine - true if this insertion is actually added on a separate line

pos - the source position where this insertion will be inserted

precedingChar - the character directly preceding where this insertion will be inserted. This value will be ignored if pos is 0.

Returns:

true if a leading space should be added, false otherwise

addTrailingSpace

protected boolean addTrailingSpace(boolean gotSeparateLine)

Description copied from class: Insertion

Indicates if a trailing space should be added to this insertion. Subclasses may override this method for custom trailing space rules.

Overrides:

addTrailingSpace in class Insertion

Parameters:

gotSeparateLine - true if this insertion is actually added on a separate line

Returns:

true if a trailing space should be added, false otherwise

getKind

public Insertion.Kind getKind()

Description copied from class: Insertion

Gets the kind of this insertion.

Specified by:

getKind in class Insertion

Returns:

the kind of this insertion