Module dev.civl.abc
Package dev.civl.abc.ast.value.IF

Interface AddressValue

All Superinterfaces:
Value
All Known Subinterfaces:
ArrayElementReference, FunctionReference, MemberReference, VariableReference
public interface AddressValue extends Value
A value of the form "invalid input: '&'(lhs)", where lhs is a left hand side expression. For example "invalid input: '&'(x)" or "invalid input: '&'(a[i].vel)".

  • Method Summary

    Modifier and Type
    Method
    Description
    PointerType
    getType()
    Returns the type of this value.

    Methods inherited from interface dev.civl.abc.ast.value.IF.Value

    isScalar, isZero

  • Method Details

    • getType

      PointerType getType()
      Description copied from interface: Value
      Returns the type of this value.
      Specified by:
      getType in interface Value
      Returns:
      the type of this value