Examples of edu.umd.cs.findbugs.ba.jsr305.TypeQualifierValue$Data

org.netbeans.ns.nb_module_project._3.Data
A TypeQualifierValue is a pair specifying a type qualifier annotation and a value. Each TypeQualifierValue is effectively a different type qualifier. For example, if Foo is a type qualifier annotation having an int value, then Foo(0), Foo(1), etc. are all different type qualifiers which must be checked separately. @author William Pugh


            Set<SourceSinkInfo> sourceSet = forwardDataflow.getAnalysis().getSourceSinkInfoSet(location);


            for (SourceSinkInfo source : sourceSet) {
                ValueNumber vn = source.getValueNumber();
                TypeQualifierValueSet backwardsFact = backwardDataflow.getFactAtLocation(location);
                FlowValue backwardsFlowValue = backwardsFact.getValue(vn);


                if (!(backwardsFlowValue == FlowValue.ALWAYS || backwardsFlowValue == FlowValue.NEVER)) {
                    continue;
                }
                if (DEBUG) {
                    System.out.println("Checking value source at " + location.toCompactString() + " for " + typeQualifierValue);
                    System.out.println("  back=" + backwardsFact);
                    System.out.println("  source=" + source);
                }


                // Check to see if this warning has already been reported
                // because
                // the dataflow values conflict directly with each other.
                TypeQualifierValueSet forwardsFact = forwardDataflow.getFactAfterLocation(location);
                FlowValue forwardsFlowValue = forwardsFact.getValue(vn);
                if (FlowValue.valuesConflict(typeQualifierValue.isStrictQualifier() && !xMethod.isIdentity(), forwardsFlowValue, backwardsFlowValue)) {
                    continue;
                }


                if (FlowValue.backwardsValueConflictsWithSource(backwardsFlowValue, source, typeQualifierValue, xMethod.isIdentity())) {

View Full Code Here

  // check version before any other operations
  Request request = new Request (display, major_opcode, 0, 3);
  request.write4 (CLIENT_MAJOR_VERSION);
  request.write4 (CLIENT_MINOR_VERSION);


  Data reply = display.read_reply (request);
  server_major_version = reply.read4 (8);
  server_minor_version = reply.read4 (12);
    }

View Full Code Here

     */
    public long getOverlayWindow (Window win) { 
  Request request = new Request (display, major_opcode, 7, 2);
  request.write4 (win.id);


  Data reply = display.read_reply (request);
  if (reply == null) {
      return -1;
  }


  return reply.read4(8);
    }

View Full Code Here

    // check version before any other operations
    Request request = new Request (display, major_opcode, 0, 3);
    request.write4 (CLIENT_MAJOR_VERSION);
    request.write4 (CLIENT_MINOR_VERSION);
  
    Data reply = display.read_reply (request);
    server_major_version = reply.read2 (8);
    server_minor_version = reply.read2 (10);
  }

View Full Code Here


      Configuration configuration = project.getConfiguration();


      if (configuration != null)
      {
        Data data = configuration.getData();


        if (data != null)
        {
          ModuleDependencies moduleDependencies = data.getModuleDependencies();


          if (moduleDependencies != null)
          {
            dependencies = moduleDependencies.getDependency();
          }

View Full Code Here

0 1 2

TOP

Related Classes of edu.umd.cs.findbugs.ba.jsr305.TypeQualifierValue$Data

codec.asn1.ASN1ObjectIdentifier

codec.pkcs12.AuthenticatedSafe

com.google.gwt.user.client.ui.RadioButton

com.inmethod.grid.common.AbstractGridRow

com.inmethod.grid.common.AttachPrelightBehavior

com.netthreads.mavenize.pom.NetBeansPomGenerator

com.yammer.metrics.stats.Snapshot

edu.umd.cs.findbugs.ba.BasicBlock

edu.umd.cs.findbugs.ba.CFG

edu.umd.cs.findbugs.ba.ch.OverriddenMethodsVisitor

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.