Package org.pkl.core

Class Platform.Runtime

  • Enclosing class:
    Platform
    public static final class Platform.Runtime
extends java.lang.Object
    The language runtime of a platform.

    • Constructor Summary

      Constructors 
      Constructor Description
      Runtime​(java.lang.String name, java.lang.String version)
      Constructs a Platform.Runtime.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)  
      int hashCode()  
      java.lang.String name()
      The name of this language runtime.
      java.lang.String version()
      The version of this language runtime.

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • Runtime

        public Runtime​(java.lang.String name,
               java.lang.String version)
        Constructs a Platform.Runtime.

    • Method Detail

      • name

        public java.lang.String name()
        The name of this language runtime.

      • version

        public java.lang.String version()
        The version of this language runtime.

      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object