← Back to branch summary

~ubuntu-branches/ubuntu/maverick/electric/maverick

« back to all changes in this revision

Viewing changes to com/sun/electric/technology/TechPool.java

  • Committer: Bazaar Package Importer
  • Author(s): Onkar Shinde
  • Date: 2010-01-09 16:26:04 UTC
  • mfrom: (1.1.4 upstream) (3.1.6 sid)
  • Revision ID: james.westby@ubuntu.com-20100109162604-1ypvmy8ijmlc6oq7
Tags: 8.10-1
* New upstream version.
* debian/control
  - Add libjava3d-java and quilt build dependencies.
  - Update standards version to 3.8.3.
  - Add libjava3d-java as recommends to binary package.
* debian/rules
  - Use quilt patch system instead of simple patchsys.
  - Add java3d related jar files to DEB_JARS.
* debian/patches/*
  - Update as per current upstream source. Convert to quilt.
* debian/ant.properties
  - Do not disable 3D plugin anymore.
  - Use new property to disable compilation of OS X related classes.
* debian/wrappers/electric
  - Add java3d related jar files to runtime classpath.
* debian/README.source
  - Change text to the appropriate one for quilt.

Show diffs side-by-side

added added

removed removed

Lines of Context:
com/sun/electric/technology/TechPool.java
216
216
        return techStates.isEmpty() ? new TechPool(idManager) : new TechPool(techStates);
217
217
    }
218
218
 
 
219
    /**
 
220
     * Returns true if this pool is the restriction of specified super pool.
 
221
     * @param superPool specified super pool
 
222
     * @return true if this pool is the restriction of specified super pool.
 
223
     */
 
224
    public boolean isRestriction(TechPool superPool) {
 
225
        return isRestriction(superPool, getTechUsages());
 
226
    }
 
227
 
219
228
    private boolean isRestriction(TechPool superPool, BitSet techUsed) {
220
229
        if (techUsed.length() != techs.length)
221
230
            return false;
240
249
    }
241
250
 
242
251
    /**
 
252
     * Returns a BitSet of techIndices of Technologies from this TechPool.
 
253
     * @return techIndices of Technologies from this TechPool.
 
254
     */
 
255
    public BitSet getTechUsages() {
 
256
        BitSet bs = new BitSet(techs.length);
 
257
        for (int techIndex = 0; techIndex < techs.length; techIndex++) {
 
258
            if (techs[techIndex] != null)
 
259
                bs.set(techIndex);
 
260
        }
 
261
        return bs;
 
262
    }
 
263
 
 
264
    /**
243
265
     * Returns new TechPool which differs from this TechPool by adding
244
266
     * new technology
245
267
     * @param tech Technology to add