de.rwth.dfa.jvm.samples
Class CFPAbstraction.NegationFunction

java.lang.Object
  |
  +--de.rwth.dfa.jvm.samples.CPAbstraction.CPFunction
        |
        +--de.rwth.dfa.jvm.samples.CFPAbstraction.ArithmeticFunction
              |
              +--de.rwth.dfa.jvm.samples.CFPAbstraction.NegationFunction

All Implemented Interfaces:

Function

Enclosing class:

CFPAbstraction

protected class CFPAbstraction.NegationFunction

extends CFPAbstraction.ArithmeticFunction

Negates a number.

Inner classes inherited from class de.rwth.domains.Function

Function.Tools

Fields inherited from class de.rwth.dfa.jvm.samples.CFPAbstraction.ArithmeticFunction

n

Fields inherited from class de.rwth.dfa.jvm.samples.CPAbstraction.CPFunction

consume, produce

Constructor Summary

CFPAbstraction.NegationFunction(int produce)
Creates a new NegationFunction instance.

Method Summary

java.lang.Number	evaluate(java.lang.Number[] values) Supposed to do the actual operation.
java.lang.String	toString()

Methods inherited from class de.rwth.dfa.jvm.samples.CFPAbstraction.ArithmeticFunction

apply

Methods inherited from class de.rwth.dfa.jvm.samples.CPAbstraction.CPFunction

apply, getDomain, getRange

Methods inherited from class java.lang.Object

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

Constructor Detail

CFPAbstraction.NegationFunction

public CFPAbstraction.NegationFunction(int produce)

Creates a new NegationFunction instance.

Parameters:

produce - an int value

Method Detail

evaluate

public java.lang.Number evaluate(java.lang.Number[] values)
                          throws FunctionException

Description copied from class: CFPAbstraction.ArithmeticFunction

Supposed to do the actual operation.

Overrides:

evaluate in class CFPAbstraction.ArithmeticFunction

Following copied from class: de.rwth.dfa.jvm.samples.CFPAbstraction.ArithmeticFunction

Parameters:

values - a Number[] value

Returns:

a Number value

Throws:

FunctionException - if an error occurs

toString

public java.lang.String toString()

Overrides:

toString in class CFPAbstraction.ArithmeticFunction