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.