TPTP 4.6.0 Platform Project
Public API Specification

org.eclipse.tptp.platform.probekit.util
Class ProbeLaunchConfigString

java.lang.Object
  extended by org.eclipse.tptp.platform.probekit.util.ProbeLaunchConfigString

public class ProbeLaunchConfigString
extends java.lang.Object


Field Summary
static java.lang.String AGENT_CONFIG_NAME_PREFIX
           
static java.lang.String LAUNCH_CONFIG_NAME_PREFIX
          The name prefix to use for name/value pairs in the launch configuraiton which are meant for Probekit's attention.
static int TYPE_PROBE_SCRIPT
           
static int TYPE_REGISTRY_ID
          Constants for the values returned by getType method
 
Constructor Summary
ProbeLaunchConfigString()
           
 
Method Summary
 void addFilters(java.lang.String filter_string)
           
 void addProbeID(java.lang.String id_string)
           
 void addProbescript(java.lang.String probe_script)
           
static ProbeLaunchConfigString fromString(java.lang.String str)
          Given an encoded string, decode it into a new ProbeLaunchConfigString object.
 java.lang.String getFilters()
          Get the filter spec for this entry.
 java.lang.String getProbeScript()
          Get the probescript for this entry.
 java.lang.String getRegistryId()
          Get the Registry ID for this entry.
 int getType()
          Get the type of this entry.
 boolean getUseDefaultFilters()
          Get the value of useDefaultFilters flag
static void main(java.lang.String[] args)
           
static boolean Test()
           
 java.lang.String toString()
           
 void useDefaultFilters()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

LAUNCH_CONFIG_NAME_PREFIX

public static final java.lang.String LAUNCH_CONFIG_NAME_PREFIX
The name prefix to use for name/value pairs in the launch configuraiton which are meant for Probekit's attention. Add your own suffix to this string when forming your entry, so you don't collide with anybody else.

See Also:
Constant Field Values

AGENT_CONFIG_NAME_PREFIX

public static final java.lang.String AGENT_CONFIG_NAME_PREFIX
See Also:
Constant Field Values

TYPE_REGISTRY_ID

public static final int TYPE_REGISTRY_ID
Constants for the values returned by getType method

See Also:
Constant Field Values

TYPE_PROBE_SCRIPT

public static final int TYPE_PROBE_SCRIPT
See Also:
Constant Field Values
Constructor Detail

ProbeLaunchConfigString

public ProbeLaunchConfigString()
Method Detail

addProbeID

public void addProbeID(java.lang.String id_string)

addProbescript

public void addProbescript(java.lang.String probe_script)

useDefaultFilters

public void useDefaultFilters()

addFilters

public void addFilters(java.lang.String filter_string)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

fromString

public static ProbeLaunchConfigString fromString(java.lang.String str)
Given an encoded string, decode it into a new ProbeLaunchConfigString object.

Parameters:
str - The string to decode.
Throws:
java.lang.IllegalArgumentException - if there are decoding errors

getType

public int getType()
Get the type of this entry.


getRegistryId

public java.lang.String getRegistryId()
Get the Registry ID for this entry.


getUseDefaultFilters

public boolean getUseDefaultFilters()
Get the value of useDefaultFilters flag


getProbeScript

public java.lang.String getProbeScript()
Get the probescript for this entry.


getFilters

public java.lang.String getFilters()
Get the filter spec for this entry.


main

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

Test

public static boolean Test()

TPTP 4.6.0 Platform Project
Public API Specification