Interface ILValueRelations


@Deprecated(forRemoval=true) public interface ILValueRelations
Deprecated, for removal: This API element is subject to removal in a future version.
Tests whether an expression can be considered an LValue for corresponding assignment CoCos. Expressions have a type and a value category. In our type systems values can be categorised by whether they have an identity, i.e., an address in memory, and thus can be assigned to. Values that can be assigned to are lvalues, examples include variables, e.g., int i = 0; // i is a variable and thus a lvalue int[] is = new int[3]; is[0] = 0; // is[0] is a variable and thus a lvalue Note, not every lvalue can be assigned to, e.g., a final variable that has been assigned to already.
  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    isLValue(ASTExpression expression)
    Deprecated.