de.unisaarland.cs.st.jerify.verifier.helpers
Class CheckerTools

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.helpers.CheckerTools

public class CheckerTools
extends java.lang.Object

Some wrapper/utility functions to the checkers framework

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

CheckerTools()

Method Summary

static javax.lang.model.element.Element	elementFromExpr(com.sun.source.tree.ExpressionTree e) Convert an ExpressTree to an Element if possible.
static com.sun.source.tree.ExpressionTree	getReceiverExpression(com.sun.source.tree.ExpressionTree expression) Get the receiver Expression from an Expression tree.

Methods inherited from class java.lang.Object

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

Constructor Detail

CheckerTools

public CheckerTools()

Method Detail

elementFromExpr

public static final javax.lang.model.element.Element elementFromExpr(com.sun.source.tree.ExpressionTree e)

Convert an ExpressTree to an Element if possible.

Parameters:

e - The ExpressionTree to convert

Returns:

The Element or null if conversion failed

getReceiverExpression

public static final com.sun.source.tree.ExpressionTree getReceiverExpression(com.sun.source.tree.ExpressionTree expression)

Get the receiver Expression from an Expression tree. receiver.something

Parameters:

expression - The Expression in which to find the receiver

Returns:

the receiver or null if not applicable