org.eclipse.tptp.platform.analysis.util

Interfaces  ILogger IStringBundle

Classes  AbstractLogger AbstractStringBundle AbstractTPTPStaticAnalysisPlugin StdoutLogger TPTPStaticAnalysisUtilPlugin UtilLogger UtilStringBundle