org.eclipse.tptp.platform.analysis.core.ui.internal.model
Class DomainNode

java.lang.Object
  org.eclipse.tptp.platform.analysis.core.ui.internal.model.DomainNode

public class DomainNode
extends java.lang.Object

Constructor Summary

DomainNode()

Method Summary

boolean	isChecked()
boolean	isGrayed()
void	setChecked(boolean checked)
void	setGrayed(boolean grayed)

Methods inherited from class java.lang.Object

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

Constructor Detail

DomainNode

public DomainNode()

Method Detail

isChecked

public boolean isChecked()

setChecked

public void setChecked(boolean checked)

isGrayed

public boolean isGrayed()

setGrayed

public void setGrayed(boolean grayed)