Package mini_python

Class TDef

java.lang.Object

mini_python.TDef

class TDef
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final TStmt	body
(package private) final Function	f

Constructor Summary

Constructors

Constructor	Description
TDef(Function f, TStmt body)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

f

final Function f

body

final TStmt body

Constructor Details

TDef

TDef(Function f,
 TStmt body)