net.sf.oval.configuration.pojo.elements
Class MethodConfiguration

java.lang.Object
  extended by net.sf.oval.configuration.pojo.elements.ConfigurationElement
      extended by net.sf.oval.configuration.pojo.elements.MethodConfiguration
All Implemented Interfaces:
Serializable

public class MethodConfiguration
extends ConfigurationElement

Author:
Sebastian Thomschke
See Also:
Serialized Form

Field Summary
 Boolean isInvariant
           
 String name
           
 List<ParameterConfiguration> parameterConfigurations
           
 Boolean postCheckInvariants
           
 MethodPostExecutionConfiguration postExecutionConfiguration
           
 Boolean preCheckInvariants
           
 MethodPreExecutionConfiguration preExecutionConfiguration
           
 MethodReturnValueConfiguration returnValueConfiguration
           
 
Fields inherited from class net.sf.oval.configuration.pojo.elements.ConfigurationElement
overwrite
 
Constructor Summary
MethodConfiguration()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

name

public String name

isInvariant

public Boolean isInvariant

parameterConfigurations

public List<ParameterConfiguration> parameterConfigurations

returnValueConfiguration

public MethodReturnValueConfiguration returnValueConfiguration

postCheckInvariants

public Boolean postCheckInvariants

postExecutionConfiguration

public MethodPostExecutionConfiguration postExecutionConfiguration

preCheckInvariants

public Boolean preCheckInvariants

preExecutionConfiguration

public MethodPreExecutionConfiguration preExecutionConfiguration
Constructor Detail

MethodConfiguration

public MethodConfiguration()


Copyright © 2005–2015 The OVal Development Team. All rights reserved.