Uses of Enum Class
dev.civl.mc.model.IF.expression.reference.ArraySliceReference.ArraySliceKind
Packages that use ArraySliceReference.ArraySliceKind
Package
Description
Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
-
Uses of ArraySliceReference.ArraySliceKind in dev.civl.mc.model.IF
Methods in dev.civl.mc.model.IF with parameters of type ArraySliceReference.ArraySliceKindModifier and TypeMethodDescriptionModelFactory.arraySliceReference(ArraySliceReference.ArraySliceKind sliceKind, Expression index) creates a new array slice reference. -
Uses of ArraySliceReference.ArraySliceKind in dev.civl.mc.model.IF.expression.reference
Methods in dev.civl.mc.model.IF.expression.reference that return ArraySliceReference.ArraySliceKindModifier and TypeMethodDescriptionArraySliceReference.sliceKind()Returns the kind of the array slice, which could be ELEMENT, WILDCARD, or RANGE.Returns the enum constant of this class with the specified name.static ArraySliceReference.ArraySliceKind[]ArraySliceReference.ArraySliceKind.values()Returns an array containing the constants of this enum class, in the order they are declared.