Package uk.ac.uea.threadr

Examples of uk.ac.uea.threadr.ThreadSafety.val()

89
90
91
92
93
94
95
96
97
98
99
        /* Any test that is not thread safe is failed. */
        failedTests.add(test.getClass());
      }
      /* If a result was returned, and it's worse than the stored one. */
      if (result != null
          && (result.val() < safety.val())) {
        safety = result; // Set the new safety result.
      }
    }
   
    /* Check the task can be serialised if it's VM safe. */
 
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
    if (superClass != null) {
      /* If a super class exists, test it. */
      Threadr.logger.info(superClass.getName());
      ThreadSafety result = new StaticTester().test(superClass);
      /* Overwrite the stored value if it is less safe. */
      if (result.val() < storedResult.val()) {
        storedResult = result;
      }
    }
   
    return storedResult;
View Full Code Here
59
60
61
62
63
64
65
66
67
68
69
          return ThreadSafety.VM;
        }
        logger.fine(f.toString());
        /* Test the type of the field to see if it is unsafe. */
        ThreadSafety result = new MemberTest().test(f.getReturnType());
        if (result.val() < storedResult.val())
          storedResult = result;
      }
    }
   
    /* Get the super class for this class if it has one. */
 
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
      logger.finer(String.format("\tTesting class %s as field of %s",
          superClass.getName(), clazz.getName()));
      /* If a super class exists, test it. */
      ThreadSafety result = new MemberTest().test(superClass);
      /* Overwrite the stored value if it is less safe. */
      if (result.val() < storedResult.val()) {
        logger.finer(String.format("\t%s unsafe.",
            superClass.getName()));
        storedResult = result;
      }
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.