TPTP 4.5.0 Platform Project
Public API Specification

org.eclipse.tptp.platform.agentcontroller.config
Class GetJavaProperty

java.lang.Object
  extended by org.eclipse.tptp.platform.agentcontroller.config.GetJavaProperty

public class GetJavaProperty
extends java.lang.Object


Constructor Summary
GetJavaProperty()
           
 
Method Summary
static void main(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GetJavaProperty

public GetJavaProperty()
Method Detail

main

public static void main(java.lang.String[] args)

TPTP 4.5.0 Platform Project
Public API Specification