abc.ltl.ast
Class EntryExit.Exit

java.lang.Object
  abc.ltl.ast.EntryExit.Exit

All Implemented Interfaces:

EntryExit.EntryExitKind

Enclosing class:

EntryExit

public static class EntryExit.Exit
extends java.lang.Object
implements EntryExit.EntryExitKind

Nested Class Summary

static class

EntryExit.Exit.ExitKind

Method Summary

EntryExit.Exit.ExitKind	getKind()
TypeNode	getType()
java.lang.String	getTypeName()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getTypeName

public java.lang.String getTypeName()

getType

public TypeNode getType()

getKind

public EntryExit.Exit.ExitKind getKind()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object