com.sun.electric.tool.drc

Class DRC.ReportInfo

java.lang.Object

com.sun.electric.tool.drc.DRC.ReportInfo

Enclosing class:

DRC

public static class DRC.ReportInfo
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ReportInfo(ErrorLogger eL, Technology tech, DRC.DRCPreferences dp, boolean specificGeoms)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

ReportInfo

public ReportInfo(ErrorLogger eL,
                  Technology tech,
                  DRC.DRCPreferences dp,
                  boolean specificGeoms)