Class SameLenTransfer

All Implemented Interfaces:
ForwardTransferFunction<CFValue,CFStore>, TransferFunction<CFValue,CFStore>, NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

public class SameLenTransfer extends CFTransfer
The transfer function for the SameLen checker. Contains three cases:
  • new array: "b = new T[a.length]" implies that b is the same length as a.
  • length equality: after "if (a.length == b.length)", a and b have the same length.
  • object equality: after "if (a == b)", a and b have the same length, if they are arrays or strings.