org.overturetool.vdmj.expressions
Class TimesExpression

java.lang.Object
  org.overturetool.vdmj.expressions.Expression
      org.overturetool.vdmj.expressions.BinaryExpression
          org.overturetool.vdmj.expressions.NumericBinaryExpression
              org.overturetool.vdmj.expressions.TimesExpression

All Implemented Interfaces:

java.io.Serializable

public class TimesExpression
extends NumericBinaryExpression

See Also:

Serialized Form

Field Summary

Fields inherited from class org.overturetool.vdmj.expressions.BinaryExpression

left, ltype, op, right, rtype

Fields inherited from class org.overturetool.vdmj.expressions.Expression

breakpoint, location

Constructor Summary

TimesExpression(Expression left, LexToken op, Expression right)

Method Summary

Value	eval(Context ctxt) Evaluate the expression in the given runtime context.
java.lang.String	kind() A short descriptive string for the expression.

Methods inherited from class org.overturetool.vdmj.expressions.NumericBinaryExpression

getProofObligations, typeCheck

Methods inherited from class org.overturetool.vdmj.expressions.BinaryExpression

binaryCheck, findExpression, toString

Methods inherited from class org.overturetool.vdmj.expressions.Expression

abort, abort, concern, detail, detail, detail2, detail2, getPreName, report, warning

Methods inherited from class java.lang.Object

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

Constructor Detail

TimesExpression

public TimesExpression(Expression left,
                       LexToken op,
                       Expression right)

Method Detail

eval

public Value eval(Context ctxt)

Description copied from class: Expression

Evaluate the expression in the given runtime context. The Value object returned can hold any type of value (int, bool, sequences, sets etc).

Specified by:

eval in class Expression

Parameters:

ctxt - The context in which to evaluate the expression.

Returns:

The value of the expression.

kind

public java.lang.String kind()

Description copied from class: Expression

A short descriptive string for the expression. An example would be "forall" or "map comprehension".

Specified by:

kind in class Expression

Returns:

A short name for the expression.