entorno.emulador
Class ClaseVentanaLog.ProcesoEjecutarCoreMaude

java.lang.Object
  java.lang.Thread
      entorno.emulador.ClaseVentanaLog.ProcesoEjecutarCoreMaude

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

ClaseVentanaLog

private class ClaseVentanaLog.ProcesoEjecutarCoreMaude

extends java.lang.Thread

Clase: ProcesoEjecutarCoreMaude Funcion: Tarea que esperará a que Maude de respuestas y las mostrará

Nested Class Summary

Nested classes inherited from class java.lang.Thread

java.lang.Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

ClaseVentanaLog.ProcesoEjecutarCoreMaude()

Method Summary

void	run()
void	terminarProcesoCoreMaude()

Methods inherited from class java.lang.Thread

activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

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

Constructor Detail

ClaseVentanaLog.ProcesoEjecutarCoreMaude

ClaseVentanaLog.ProcesoEjecutarCoreMaude()

Method Detail

terminarProcesoCoreMaude

public void terminarProcesoCoreMaude()

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread