Package org.pkl.core

Class Platform.Runtime

java.lang.Object

org.pkl.core.Platform.Runtime

Enclosing class:

Platform

public static final class Platform.Runtime
extends Object

The language runtime of a platform.

Constructor Summary

Constructors

Constructor	Description
Runtime(String name, String version)	Constructs a Platform.Runtime.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	hashCode()
String	name()	The name of this language runtime.
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 Details

Runtime

public Runtime(String name,
 String version)

Constructs a Platform.Runtime.

Method Details

name

public String name()

The name of this language runtime.

version

public String version()

The version of this language runtime.

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object