Module dev.civl.mc
Package dev.civl.mc.semantics.IF

Class ArrayToolBox.ArraySlice

java.lang.Object
dev.civl.mc.semantics.IF.ArrayToolBox.ArraySlice
Enclosing interface:
ArrayToolBox
public abstract static class ArrayToolBox.ArraySlice extends Object
the data structure for describing array slices. An array slice is a sequence of objects of type t that is carved out from an array.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    dev.civl.sarl.IF.expr.SymbolicExpression
    array
    the array where the slice is carved out
    dev.civl.sarl.IF.type.SymbolicType
    baseType
    the type of the elements
    dev.civl.sarl.IF.expr.NumericExpression
    count
    the number of elements in the slice
    dev.civl.sarl.IF.type.SymbolicArrayType
    sliceType
    the type of the slice
    dev.civl.sarl.IF.expr.NumericExpression[]
    startIndices
    the starting indices for where the slice is carved out

  • Constructor Summary

    Constructors
    Constructor
    Description
    ArraySlice()
     

  • Method Summary

    Methods inherited from class java.lang.Object

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

  • Field Details

    • array

      public dev.civl.sarl.IF.expr.SymbolicExpression array
      the array where the slice is carved out

    • startIndices

      public dev.civl.sarl.IF.expr.NumericExpression[] startIndices
      the starting indices for where the slice is carved out

    • count

      public dev.civl.sarl.IF.expr.NumericExpression count
      the number of elements in the slice

    • baseType

      public dev.civl.sarl.IF.type.SymbolicType baseType
      the type of the elements

    • sliceType

      public dev.civl.sarl.IF.type.SymbolicArrayType sliceType
      the type of the slice

  • Constructor Details

    • ArraySlice

      public ArraySlice()