Java Doc for ClassChecks.java in  » Development » OVal » net » sf » oval » internal » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation 1.  6.0 JDK Core 2.  6.0 JDK Modules 3.  6.0 JDK Modules com.sun 4.  6.0 JDK Modules com.sun.java 5.  6.0 JDK Modules sun 6.  6.0 JDK Platform 7.  Ajax 8.  Apache Harmony Java SE 9.  Aspect oriented 10.  Authentication Authorization 11.  Blogger System 12.  Build 13.  Byte Code 14.  Cache 15.  Chart 16.  Chat 17.  Code Analyzer 18.  Collaboration 19.  Content Management System 20.  Database Client 21.  Database DBMS 22.  Database JDBC Connection Pool 23.  Database ORM 24.  Development 25.  EJB Server geronimo 26.  EJB Server GlassFish 27.  EJB Server JBoss 4.2.1 28.  EJB Server resin 3.1.5 29.  ERP CRM Financial 30.  ESB 31.  Forum 32.  GIS 33.  Graphic Library 34.  Groupware 35.  HTML Parser 36.  IDE 37.  IDE Eclipse 38.  IDE Netbeans 39.  Installer 40.  Internationalization Localization 41.  Inversion of Control 42.  Issue Tracking 43.  J2EE 44.  JBoss 45.  JMS 46.  JMX 47.  Library 48.  Mail Clients 49.  Net 50.  Parser 51.  PDF 52.  Portal 53.  Profiler 54.  Project Management 55.  Report 56.  RSS RDF 57.  Rule Engine 58.  Science 59.  Scripting 60.  Search Engine 61.  Security 62.  Sevlet Container 63.  Source Control 64.  Swing Library 65.  Template Engine 66.  Test Coverage 67.  Testing 68.  UML 69.  Web Crawler 70.  Web Framework 71.  Web Mail 72.  Web Server 73.  Web Services 74.  Web Services apache cxf 2.0.1 75.  Web Services AXIS2 76.  Wiki Engine 77.  Workflow Engines 78.  XML 79.  XML UI Java Java Tutorial Java Open Source Jar File Download Java Articles Java Products Java by API Photoshop Tutorials Maya Tutorials Flash Tutorials 3ds-Max Tutorials Illustrator Tutorials GIMP Tutorials C# / C Sharp C# / CSharp Tutorial C# / CSharp Open Source ASP.Net ASP.NET Tutorial JavaScript DHTML JavaScript Tutorial JavaScript Reference HTML / CSS HTML CSS Reference C / ANSI-C C Tutorial C++ C++ Tutorial Ruby PHP Python Python Tutorial Python Open Source SQL Server / T-SQL SQL Server / T-SQL Tutorial Oracle PL / SQL Oracle PL/SQL Tutorial PostgreSQL SQL / MySQL MySQL Tutorial VB.Net VB.Net Tutorial Flash / Flex / ActionScript VBA / Excel / Access / Word XML XML Tutorial Microsoft Office PowerPoint 2007 Tutorial Microsoft Office Excel 2007 Tutorial Microsoft Office Word 2007 Tutorial

Java Source Code / Java Documentation » Development » OVal » net.sf.oval.internal   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    net.sf.oval.internal.ClassChecks ClassChecks public class ClassChecks (Code) This class holds the instantiated checks for a single class. Note: For performance reasons the collections are made public (intended for read-access only). Modifications to the collections should be done through the appropriate methods addXXX, removeXXX, clearXXX methods. author:    Sebastian Thomschke Field Summary final public  Map<Constructor, Map<Integer, Set<Check>>> checksForConstructorParameters      final public  Map<Field, Set<Check>> checksForFields      final public  Map<Method, Map<Integer, Set<Check>>> checksForMethodParameters      final public  Map<Method, Set<Check>> checksForMethodReturnValues      final public  Map<Method, Set<PostCheck>> checksForMethodsPostExcecution      final public  Map<Method, Set<PreCheck>> checksForMethodsPreExecution      final public  Set<Check> checksForObject      final public  Class clazz      final public  Set<Field> constrainedFields      all non-static fields that have value constraints. final public  Set<Method> constrainedMethods      all non-static non-void, non-parameterized methods marked as invariant that have return value constraints. final public  Set<Field> constrainedStaticFields      all non-static fields that have value constraints. final public  Set<Method> constrainedStaticMethods      all static non-void, non-parameterized methods marked as invariant that have return value constraints. public  boolean isCheckInvariants      final public  boolean isGuarded      final public  Set<AccessibleObject> methodsWithCheckInvariantsPost      final public  Set<Method> methodsWithCheckInvariantsPre      Constructor Summary public   ClassChecks(Class clazz)      Method Summary public  void addConstructorParameterChecks(Constructor constructor, int parameterIndex, Check... checks)      public  void addConstructorParameterChecks(Constructor constructor, int parameterIndex, Collection<Check> checks)      public  void addFieldChecks(Field field, Check... checks)      public  void addFieldChecks(Field field, Collection<Check> checks)      public  void addMethodParameterChecks(Method method, int parameterIndex, Check... checks)      public  void addMethodParameterChecks(Method method, int parameterIndex, Collection<Check> checks)      public  void addMethodPostChecks(Method method, Collection<PostCheck> checks)      public  void addMethodPostChecks(Method method, PostCheck... checks)      public  void addMethodPreChecks(Method method, Collection<PreCheck> checks)      public  void addMethodPreChecks(Method method, PreCheck... checks)      public  void addMethodReturnValueChecks(Method method, Boolean isInvariant, Check... checks)      public  void addMethodReturnValueChecks(Method method, Boolean isInvariant, Collection<Check> checks)      public  void addObjectChecks(Check... checks)      public  void addObjectChecks(Collection<Check> checks)      public synchronized  void clear()      public  void clearConstructorChecks(Constructor constructor)      public  void clearConstructorParameterChecks(Constructor constructor)      public  void clearConstructorParameterChecks(Constructor constructor, int parameterIndex)      public  void clearFieldChecks(Field field)      public synchronized  void clearMethodChecks(Method method)      public  void clearMethodParameterChecks(Method method)      public  void clearMethodParameterChecks(Method method, int parameterIndex)      public  void clearMethodPostChecks(Method method)      public  void clearMethodPreChecks(Method method)      public  void clearMethodReturnValueChecks(Method method)      public  void clearObjectChecks()      public  void removeConstructorParameterChecks(Constructor constructor, int parameterIndex, Check... checks)      public  void removeFieldChecks(Field field, Check... checks)      public  void removeMethodChecks(Method method, Check... checks)      public  void removeMethodParameterChecks(Method method, int parameterIndex, Check... checks)      public  void removeMethodPostChecks(Method method, PostCheck... checks)      public  void removeMethodPreChecks(Method method, PreCheck... checks)      public  void removeObjectChecks(Check... checks)      Field Detail checksForConstructorParameters final public Map<Constructor, Map<Integer, Set<Check>>> checksForConstructorParameters(Code) checks on constructors' parameter values checksForFields final public Map<Field, Set<Check>> checksForFields(Code) checks on fields' value checksForMethodParameters final public Map<Method, Map<Integer, Set<Check>>> checksForMethodParameters(Code) checks on methods' parameter values checksForMethodReturnValues final public Map<Method, Set<Check>> checksForMethodReturnValues(Code) checks on methods' return value checksForMethodsPostExcecution final public Map<Method, Set<PostCheck>> checksForMethodsPostExcecution(Code) checksForMethodsPreExecution final public Map<Method, Set<PreCheck>> checksForMethodsPreExecution(Code) checksForObject final public Set<Check> checksForObject(Code) compound constraints / object level invariants clazz final public Class clazz(Code) constrainedFields final public Set<Field> constrainedFields(Code) all non-static fields that have value constraints. Validator loops over this set during validation. constrainedMethods final public Set<Method> constrainedMethods(Code) all non-static non-void, non-parameterized methods marked as invariant that have return value constraints. Validator loops over this set during validation. constrainedStaticFields final public Set<Field> constrainedStaticFields(Code) all non-static fields that have value constraints. Validator loops over this set during validation. constrainedStaticMethods final public Set<Method> constrainedStaticMethods(Code) all static non-void, non-parameterized methods marked as invariant that have return value constraints. Validator loops over this set during validation. isCheckInvariants public boolean isCheckInvariants(Code) isGuarded final public boolean isGuarded(Code) methodsWithCheckInvariantsPost final public Set<AccessibleObject> methodsWithCheckInvariantsPost(Code) methodsWithCheckInvariantsPre final public Set<Method> methodsWithCheckInvariantsPre(Code) Constructor Detail ClassChecks public ClassChecks(Class clazz)(Code) package constructor used by the Validator class Parameters:   clazz - Method Detail addConstructorParameterChecks public void addConstructorParameterChecks(Constructor constructor, int parameterIndex, Check... checks) throws InvalidConfigurationException(Code) adds constraint checks to a constructor parameter Parameters:   constructor - Parameters:   parameterIndex - Parameters:   checks - throws:   InvalidConfigurationException - if the declaring class is not guarded by GuardAspect addConstructorParameterChecks public void addConstructorParameterChecks(Constructor constructor, int parameterIndex, Collection<Check> checks) throws InvalidConfigurationException(Code) adds constraint checks to a constructor parameter Parameters:   constructor - Parameters:   parameterIndex - Parameters:   checks - throws:   InvalidConfigurationException - if the declaring class is not guarded by GuardAspect addFieldChecks public void addFieldChecks(Field field, Check... checks) throws InvalidConfigurationException(Code) adds check constraints to a field Parameters:   field - Parameters:   checks - addFieldChecks public void addFieldChecks(Field field, Collection<Check> checks) throws InvalidConfigurationException(Code) adds check constraints to a field Parameters:   field - Parameters:   checks - addMethodParameterChecks public void addMethodParameterChecks(Method method, int parameterIndex, Check... checks) throws InvalidConfigurationException(Code) adds constraint checks to a method parameter Parameters:   method - Parameters:   parameterIndex - Parameters:   checks - throws:   InvalidConfigurationException - if the declaring class is not guarded by GuardAspect addMethodParameterChecks public void addMethodParameterChecks(Method method, int parameterIndex, Collection<Check> checks) throws InvalidConfigurationException(Code) adds constraint checks to a method parameter Parameters:   method - Parameters:   parameterIndex - Parameters:   checks - throws:   InvalidConfigurationException - if the declaring class is not guarded by GuardAspect addMethodPostChecks public void addMethodPostChecks(Method method, Collection<PostCheck> checks) throws InvalidConfigurationException(Code) adds constraint checks to a method's return value Parameters:   method - Parameters:   checks - throws:   InvalidConfigurationException - if the declaring class is not guarded by GuardAspect addMethodPostChecks public void addMethodPostChecks(Method method, PostCheck... checks) throws InvalidConfigurationException(Code) adds constraint checks to a method's return value Parameters:   method - Parameters:   checks - throws:   InvalidConfigurationException - if the declaring class is not guarded by GuardAspect addMethodPreChecks public void addMethodPreChecks(Method method, Collection<PreCheck> checks) throws InvalidConfigurationException(Code) Parameters:   method - Parameters:   checks - throws:   InvalidConfigurationException - if the declaring class is not guarded by GuardAspect addMethodPreChecks public void addMethodPreChecks(Method method, PreCheck... checks) throws InvalidConfigurationException(Code) Parameters:   method - Parameters:   checks - throws:   InvalidConfigurationException - if the declaring class is not guarded by GuardAspect addMethodReturnValueChecks public void addMethodReturnValueChecks(Method method, Boolean isInvariant, Check... checks) throws InvalidConfigurationException(Code) adds constraint checks to a method's return value Parameters:   method - Parameters:   isInvariant - determines if the return value should be checked when the object is validated, can be null Parameters:   checks - addMethodReturnValueChecks public void addMethodReturnValueChecks(Method method, Boolean isInvariant, Collection<Check> checks) throws InvalidConfigurationException(Code) adds constraint checks to a method's return value Parameters:   method - Parameters:   isInvariant - determines if the return value should be checked when the object is validated, can be null Parameters:   checks - addObjectChecks public void addObjectChecks(Check... checks)(Code) adds check constraints on object level (invariants) Parameters:   checks - addObjectChecks public void addObjectChecks(Collection<Check> checks)(Code) adds check constraints on object level (invariants) Parameters:   checks - clear public synchronized void clear()(Code) clearConstructorChecks public void clearConstructorChecks(Constructor constructor)(Code) clearConstructorParameterChecks public void clearConstructorParameterChecks(Constructor constructor)(Code) clearConstructorParameterChecks public void clearConstructorParameterChecks(Constructor constructor, int parameterIndex)(Code) clearFieldChecks public void clearFieldChecks(Field field)(Code) clearMethodChecks public synchronized void clearMethodChecks(Method method)(Code) clearMethodParameterChecks public void clearMethodParameterChecks(Method method)(Code) clearMethodParameterChecks public void clearMethodParameterChecks(Method method, int parameterIndex)(Code) clearMethodPostChecks public void clearMethodPostChecks(Method method)(Code) clearMethodPreChecks public void clearMethodPreChecks(Method method)(Code) clearMethodReturnValueChecks public void clearMethodReturnValueChecks(Method method)(Code) clearObjectChecks public void clearObjectChecks()(Code) removeConstructorParameterChecks public void removeConstructorParameterChecks(Constructor constructor, int parameterIndex, Check... checks)(Code) removeFieldChecks public void removeFieldChecks(Field field, Check... checks)(Code) removeMethodChecks public void removeMethodChecks(Method method, Check... checks)(Code) removeMethodParameterChecks public void removeMethodParameterChecks(Method method, int parameterIndex, Check... checks) throws InvalidConfigurationException(Code) removeMethodPostChecks public void removeMethodPostChecks(Method method, PostCheck... checks)(Code) removeMethodPreChecks public void removeMethodPreChecks(Method method, PreCheck... checks)(Code) removeObjectChecks public void removeObjectChecks(Check... checks)(Code) Methods inherited from java.lang.Object native protected Object clone() throws CloneNotSupportedException(Code)(Java Doc) public boolean equals(Object obj)(Code)(Java Doc) protected void finalize() throws Throwable(Code)(Java Doc) final native public Class getClass()(Code)(Java Doc) native public int hashCode()(Code)(Java Doc) final native public void notify()(Code)(Java Doc) final native public void notifyAll()(Code)(Java Doc) public String toString()(Code)(Java Doc) final native public void wait(long timeout) throws InterruptedException(Code)(Java Doc) final public void wait(long timeout, int nanos) throws InterruptedException(Code)(Java Doc) final public void wait() throws InterruptedException(Code)(Java Doc)