org.checkerframework.checker.units

Interface UnitsRelations

All Known Implementing Classes:

UnitsRelationsDefault

public interface UnitsRelations

Interface that is used to specify the relation between units.

Method Summary

Modifier and Type	Method and Description
@Nullable AnnotationMirror	division(AnnotatedTypeMirror lht, AnnotatedTypeMirror rht) Called for the division of type lht and rht.
UnitsRelations	init(ProcessingEnvironment env) Initialize the object.
@Nullable AnnotationMirror	multiplication(AnnotatedTypeMirror lht, AnnotatedTypeMirror rht) Called for the multiplication of type lht and rht.

Method Detail

init

UnitsRelations init(ProcessingEnvironment env)

Initialize the object. Needs to be called before any other method.

Parameters:

env - the ProcessingEnvironment to use

Returns:

a reference to "this"

multiplication

@Nullable AnnotationMirror multiplication(AnnotatedTypeMirror lht,
                                          AnnotatedTypeMirror rht)

Called for the multiplication of type lht and rht.

Parameters:

lht - left hand side in multiplication

rht - right hand side in multiplication

Returns:

the annotation to use for the result of the multiplication or null if no special relation is known

division

@Nullable AnnotationMirror division(AnnotatedTypeMirror lht,
                                    AnnotatedTypeMirror rht)

Called for the division of type lht and rht.

Parameters:

lht - left hand side in division

rht - right hand side in division

Returns:

the annotation to use for the result of the division or null if no special relation is known