Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
The Meta-Environment API
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

nl.cwi.sen1.tide.tool.support
Class Port

java.lang.Object
  extended by nl.cwi.sen1.tide.tool.support.Port

public class Port
extends java.lang.Object

Field Summary
static aterm.ATermFactory factory
           
private  aterm.ATerm term
           
 
Constructor Summary
Port(aterm.ATerm term)
           
 
Method Summary
static Port fromTerm(aterm.ATerm term)
           
static void initialize(aterm.ATermFactory factory)
           
static Port make(aterm.ATerm term)
           
static Port make(java.lang.String port)
           
static Port makeStarted()
           
static Port makeStep()
           
static Port makeStopped()
           
static Port parse(java.lang.String spec)
           
 java.lang.String toString()
           
 aterm.ATerm toTerm()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

factory

public static aterm.ATermFactory factory

term

private aterm.ATerm term
Constructor Detail

Port

Port(aterm.ATerm term)
Method Detail

initialize

public static void initialize(aterm.ATermFactory factory)

parse

public static Port parse(java.lang.String spec)

makeStarted

public static Port makeStarted()

makeStopped

public static Port makeStopped()

makeStep

public static Port makeStep()

make

public static Port make(java.lang.String port)

make

public static Port make(aterm.ATerm term)

fromTerm

public static Port fromTerm(aterm.ATerm term)

toTerm

public aterm.ATerm toTerm()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
The Meta-Environment API
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD