Package net.ssehub.easy.varModel.model.datatypes

Class RealType

java.lang.Object
net.ssehub.easy.varModel.model.datatypes.BasisDatatype
net.ssehub.easy.varModel.model.datatypes.RealType
All Implemented Interfaces:
IDatatype, IDatatypeVisitable
public class RealType extends BasisDatatype
Creates the BasisDatatype Real.
Author:
beck, Holger Eichelberger

  • Field Details

    • DTYPE

      static final DelegatingType DTYPE

    • TYPE

      public static final IDatatype TYPE

    • INTEGER_TYPE

      static final DelegatingType INTEGER_TYPE

    • TYPE_OF

      public static final Operation TYPE_OF

    • EQUALS_REAL_REAL

      public static final Operation EQUALS_REAL_REAL

    • EQUALS_REAL_INTEGER

      public static final Operation EQUALS_REAL_INTEGER

    • ASSIGNMENT_REAL_REAL

      public static final Operation ASSIGNMENT_REAL_REAL

    • ASSIGNMENT_REAL_INTEGER

      public static final Operation ASSIGNMENT_REAL_INTEGER

    • IS_DEFINED

      public static final Operation IS_DEFINED

    • IF_DEFINED

      public static final Operation IF_DEFINED

    • COPY

      public static final Operation COPY

    • NOTEQUALS_REAL_REAL

      public static final Operation NOTEQUALS_REAL_REAL

    • NOTEQUALS_REAL_INTEGER

      public static final Operation NOTEQUALS_REAL_INTEGER

    • NOTEQUALS_REAL_REAL_ALIAS

      public static final Operation NOTEQUALS_REAL_REAL_ALIAS

    • NOTEQUALS_REAL_INTEGER_ALIAS

      public static final Operation NOTEQUALS_REAL_INTEGER_ALIAS

    • PLUS_REAL_REAL

      public static final Operation PLUS_REAL_REAL

    • PLUS_REAL_INTEGER

      public static final Operation PLUS_REAL_INTEGER

    • MINUS_REAL_REAL

      public static final Operation MINUS_REAL_REAL

    • MINUS_REAL_INTEGER

      public static final Operation MINUS_REAL_INTEGER

    • MULT_REAL_REAL

      public static final Operation MULT_REAL_REAL

    • MULT_REAL_INTEGER

      public static final Operation MULT_REAL_INTEGER

    • DIV_REAL_REAL

      public static final Operation DIV_REAL_REAL

    • DIV_REAL_INTEGER

      public static final Operation DIV_REAL_INTEGER

    • GREATER_REAL_REAL

      public static final Operation GREATER_REAL_REAL

    • GREATER_REAL_INTEGER

      public static final Operation GREATER_REAL_INTEGER

    • LESS_REAL_REAL

      public static final Operation LESS_REAL_REAL

    • LESS_REAL_INTEGER

      public static final Operation LESS_REAL_INTEGER

    • GREATER_EQUALS_REAL_REAL

      public static final Operation GREATER_EQUALS_REAL_REAL

    • GREATER_EQUALS_REAL_INTEGER

      public static final Operation GREATER_EQUALS_REAL_INTEGER

    • LESS_EQUALS_REAL_REAL

      public static final Operation LESS_EQUALS_REAL_REAL

    • LESS_EQUALS_REAL_INTEGER

      public static final Operation LESS_EQUALS_REAL_INTEGER

    • MIN_REAL_REAL

      public static final Operation MIN_REAL_REAL

    • MAX_REAL_REAL

      public static final Operation MAX_REAL_REAL

    • MIN_REAL_INTEGER

      public static final Operation MIN_REAL_INTEGER

    • MAX_REAL_INTEGER

      public static final Operation MAX_REAL_INTEGER

    • MOD_REAL_REAL

      public static final Operation MOD_REAL_REAL

    • MOD_REAL_INTEGER

      public static final Operation MOD_REAL_INTEGER

    • ABS_REAL_REAL

      public static final Operation ABS_REAL_REAL

    • INVERSE_REAL

      public static final Operation INVERSE_REAL

    • FLOOR

      public static final Operation FLOOR

    • ROUND

      public static final Operation ROUND

    • TO_STRING

      public static final Operation TO_STRING

  • Constructor Details

    • RealType

      private RealType()
      Constructor for a new RealType.

  • Method Details

    • accept

      public void accept(IDatatypeVisitor visitor)
      Description copied from interface: IDatatypeVisitable
      Accepts a specialized visitor for creating a textual representation of the identity of this type.
      Specified by:
      accept in interface IDatatypeVisitable
      Specified by:
      accept in class BasisDatatype
      Parameters:
      visitor - the visitor to accept

    • isAssignableFrom

      public boolean isAssignableFrom(IDatatype type)
      Determines if the data type represented by this object is either the same as, or is a supertype of type.
      Specified by:
      isAssignableFrom in interface IDatatype
      Overrides:
      isAssignableFrom in class BasisDatatype
      Parameters:
      type - the type being checked
      Returns:
      true if this type is either the same or a supertype of type, true else