coins.mdf
Class DeclarePtestVariables

java.lang.Object
  coins.mdf.DeclarePtestVariables

class DeclarePtestVariables

extends java.lang.Object

Declarations of the PTEST variables. These variables are for debug.

Field Summary

(package private) Param	mdfParam The parameter `mdf_time'
(package private) Subp	mtEndTime The function `mdf_mt_end_time'
(package private) Subp	mtStartTime The function `mdf_mt_start_time'
(package private) Subp	threadStart The function `mdf_thread_start'
(package private) Subp	watchingEnd The function `mdf_watching_end'
(package private) Subp	watchingReport The function `mdf_watching_report'

Constructor Summary

(package private)

DeclarePtestVariables(Sym symFact, SymRoot symRoot) Constructor

Methods inherited from class java.lang.Object

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

Field Detail

mdfParam

final Param mdfParam

The parameter `mdf_time'

mtStartTime

final Subp mtStartTime

The function `mdf_mt_start_time'

mtEndTime

final Subp mtEndTime

The function `mdf_mt_end_time'

threadStart

final Subp threadStart

The function `mdf_thread_start'

watchingEnd

final Subp watchingEnd

The function `mdf_watching_end'

watchingReport

final Subp watchingReport

The function `mdf_watching_report'

Constructor Detail

DeclarePtestVariables

DeclarePtestVariables(Sym symFact,
                      SymRoot symRoot)

Constructor

Parameters:

symFact - The factory of the Sym

symRoot - The SymRoot