Package org.checkerframework.framework.util

Class NoContractsFromMethod

java.lang.Object

org.checkerframework.framework.util.NoContractsFromMethod

All Implemented Interfaces:

ContractsFromMethod

public class NoContractsFromMethod
extends Object
implements ContractsFromMethod

Dummy implementation of ContractsFromMethod that only returns empty sets.

Constructor Summary

Constructors

Constructor	Description
NoContractsFromMethod()	Creates a NoContractsFromMethod object.

Method Summary

Modifier and Type	Method	Description
Set<Contract.ConditionalPostcondition>	getConditionalPostconditions(ExecutableElement methodElement)	Returns an empty set.
Set<Contract>	getContracts(ExecutableElement executableElement)	Returns an empty set.
Set<Contract.Postcondition>	getPostconditions(ExecutableElement executableElement)	Returns an empty set
Set<Contract.Precondition>	getPreconditions(ExecutableElement executableElement)	Returns an empty set

Methods inherited from class java.lang.Object

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

Constructor Details

NoContractsFromMethod

public NoContractsFromMethod()

Creates a NoContractsFromMethod object.

Method Details

getContracts

public Set<Contract> getContracts(ExecutableElement executableElement)

Returns an empty set.

Specified by:

getContracts in interface ContractsFromMethod

Parameters:

executableElement - the method or constructor whose contracts to retrieve

Returns:

an empty set

getPreconditions

public Set<Contract.Precondition> getPreconditions(ExecutableElement executableElement)

Returns an empty set

Specified by:

getPreconditions in interface ContractsFromMethod

Parameters:

executableElement - the method whose contracts to return

Returns:

an empty set

getPostconditions

public Set<Contract.Postcondition> getPostconditions(ExecutableElement executableElement)

Returns an empty set

Specified by:

getPostconditions in interface ContractsFromMethod

Parameters:

executableElement - the method whose contracts to return

Returns:

an empty set

getConditionalPostconditions

public Set<Contract.ConditionalPostcondition> getConditionalPostconditions(ExecutableElement methodElement)

Returns an empty set.

Specified by:

getConditionalPostconditions in interface ContractsFromMethod

Parameters:

methodElement - the method whose contracts to return

Returns:

an empty set