Package net.ssehub.easy.varModel.cstEvaluation

Class ReferenceOperations

  • public class ReferenceOperations
extends java.lang.Object
    Implements reference operations.
    Author:
    Holger Eichelberger

    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) static IOperationEvaluator REF_BY
      Implements the "refBy" dereferencing operation.

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private ReferenceOperations()
      Prevents external creation.

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void register()
      Registers the defined operations.

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • REF_BY

        static final IOperationEvaluator REF_BY
        Implements the "refBy" dereferencing operation.

    • Constructor Detail

      • ReferenceOperations

        private ReferenceOperations()
        Prevents external creation.

    • Method Detail

      • register

        public static final void register()
        Registers the defined operations.