public class ToolboxClient
extends java.lang.Object
The method readRefFile is used to read the [vpp|vdm]ior.rf file created by the Toolbox last started on the local PC.
The location of this file is read from the property VDM_OBJECT_LOCATION. This should be set on the command-line when Java is run, since Java does not support environment variables.
The method getVDMApplication is used to establish the connection to the Toolbox denoted by the object reference string and return the CORBA objest reference VDMApplication.
VDMApplication
Modifier and Type | Class and Description |
---|---|
class |
ToolboxClient.CouldNotResolveObjectException |
class |
ToolboxClient.IORFilter |
Constructor and Description |
---|
ToolboxClient() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
fromISO(java.lang.String str) |
VDMApplication |
getVDMApplication(java.lang.String[] args,
ToolType toolType)
The method getVDMApplication is used to establish the connection to the
Toolbox denoted by the object reference string and return the CORBA
objest reference VDMApplication.
|
VDMApplication |
getVDMApplication(java.lang.String[] args,
ToolType toolType,
boolean useNs)
The method getVDMApplication is used to establish the connection to the
Toolbox denoted by the object reference string and return the CORBA
objest reference VDMApplication.
|
static void |
main(java.lang.String[] args)
Standalone example program.
|
void |
runExample(java.lang.String[] args) |
static java.lang.String |
toISO(java.lang.String str) |
public static java.lang.String toISO(java.lang.String str)
public static java.lang.String fromISO(java.lang.String str)
public VDMApplication getVDMApplication(java.lang.String[] args, ToolType toolType) throws ToolboxClient.CouldNotResolveObjectException
args
- command line parameters that should be send to the ORB. The args
parameter is usually empty.toolType
- the ToolType.ToolboxClient.CouldNotResolveObjectException
- If object not found in NameService.public VDMApplication getVDMApplication(java.lang.String[] args, ToolType toolType, boolean useNs) throws ToolboxClient.CouldNotResolveObjectException
args
- command line parameters that should be send to the ORB. The args
parameter is usually empty.toolType
- the ToolType.useNs
- if true then check NameService.ToolboxClient.CouldNotResolveObjectException
- If object not found in NameService.public void runExample(java.lang.String[] args)
public static void main(java.lang.String[] args)
[e|e in set {1,...,20} & exists1 x in set {2,...,e} & e mod x = 0]
The result of this evaluation will be printed to standard output.
args
- Arguments