: Class Uninterpreted

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

uci.uml.Foundation.Data_Types
Class Uninterpreted

java.lang.Object
  |
  +--uci.uml.Foundation.Data_Types.Uninterpreted

Field Summary
`String`	`_body`

Constructor Summary
`Uninterpreted(String body)`

Methods inherited from class java.lang.Object

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

Field Detail

public String _body

Constructor Detail

public Uninterpreted(String body)

Method Detail

public String getBody()

public void setBody(String body)