org.checkerframework.framework.util

Class FieldInvariants

java.lang.Object

org.checkerframework.framework.util.FieldInvariants

public class FieldInvariants
extends java.lang.Object

Represents field invariants. A list of fields that have a specific qualifier in a class where these field invariants apply.

Constructor Summary

Constructors

Constructor and Description
FieldInvariants(FieldInvariants other, java.util.List<java.lang.String> fields, java.util.List<javax.lang.model.element.AnnotationMirror> qualifiers) Creates a new object with all the invariant in other, plus those specified by fields and qualifiers.
FieldInvariants(java.util.List<java.lang.String> fields, java.util.List<javax.lang.model.element.AnnotationMirror> qualifiers)

Method Summary

Modifier and Type	Method and Description
java.util.List<java.lang.String>	getFields()
java.util.List<javax.lang.model.element.AnnotationMirror>	getQualifiersFor(java.lang.CharSequence field) Returns a list of qualifiers for field.
Result	isSuperInvariant(FieldInvariants superInvar, AnnotatedTypeFactory factory)
boolean	isWellFormed()

Methods inherited from class java.lang.Object

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

Constructor Detail

FieldInvariants

public FieldInvariants(java.util.List<java.lang.String> fields,
                       java.util.List<javax.lang.model.element.AnnotationMirror> qualifiers)

FieldInvariants

public FieldInvariants(FieldInvariants other,
                       java.util.List<java.lang.String> fields,
                       java.util.List<javax.lang.model.element.AnnotationMirror> qualifiers)

Creates a new object with all the invariant in other, plus those specified by fields and qualifiers.

Parameters:

other - other invariant object, may be null

fields - list of fields

qualifiers - list of qualifiers

Method Detail

getFields

public java.util.List<java.lang.String> getFields()

getQualifiersFor

public java.util.List<javax.lang.model.element.AnnotationMirror> getQualifiersFor(java.lang.CharSequence field)

Returns a list of qualifiers for field. If field has no qualifiers, then the empty list is returned.

Parameters:

field - simple field name

Returns:

a list of qualifiers for field

isWellFormed

public boolean isWellFormed()

Returns:

whether or not there is a qualifier for each field

isSuperInvariant

public Result isSuperInvariant(FieldInvariants superInvar,
                               AnnotatedTypeFactory factory)

Returns:

null if superInvar is a super invariant, otherwise returns a Result with the error message