Home
Java
JSTL
Struts
Spring
Hibernate
Webservice
Eclipse
API
Guest Post
Menu
Explorer
C4J-master
c4j
src
main
java
de
vksi
c4j
AllowPureAccess.java
ClassInvariant.java
Condition.java
ConstructorContract.java
Contract.java
ContractReference.java
Pure.java
PureTarget.java
Target.java
error
ContractError.java
UsageError.java
internal
Agent.java
RootTransformer.java
classfile
BackdoorAnnotationLoader.java
BehaviorFilter.java
ClassAnalyzer.java
ClassFilePool.java
compiler
ArrayExp.java
AssertExp.java
AssignmentExp.java
BooleanExp.java
CastExp.java
CompareExp.java
ConstructorExp.java
EmptyExp.java
Exp.java
IfExp.java
NestedExp.java
StandaloneExp.java
StaticCall.java
StaticCallExp.java
ThrowExp.java
TryExp.java
ValueExp.java
configuration
JaxbUnmarshaller.java
LocalConfigurationCallback.java
PureRegistryImporter.java
XmlConfigurationManager.java
XmlGlobalConfiguration.java
XmlLocalConfiguration.java
contracts
BeforeClassInvariant.java
ClasspathScanner.java
ContractInfo.java
ContractMethod.java
ContractPackageScanner.java
ContractRegistry.java
InvolvedTypeInspector.java
Transformed.java
runtime
ContractCache.java
ContractErrorHandler.java
Evaluator.java
MaxTimeCache.java
OldCache.java
PreConditionResult.java
PureEvaluator.java
UnchangedCache.java
transformer
affected
AbstractAffectedClassTransformer.java
AffectedClassTransformer.java
BeforeConditionCallProvider.java
BeforeInitializerCallProvider.java
BeforePostConditionCallProvider.java
BeforePreConditionCallProvider.java
ConditionTransformer.java
DynamicConditionTransformer.java
InvariantTransformer.java
PreAndPostConditionTransformer.java
PureTransformer.java
StaticConditionTransformer.java
contract
AbstractContractClassTransformer.java
ContractBehaviorTransformer.java
ContractClassTransformer.java
ContractDeclaredBehaviorTransformer.java
ContractExpressionTransformer.java
ContractMethodDependencies.java
OldStoreCallWriter.java
PureContractTransformer.java
TargetTransformer.java
editor
ArrayAccessEditor.java
ContractMethodConditionEditor.java
ContractMethodEditor.java
InitializationGatheringEditor.java
PureBehaviorExpressionEditor.java
PureInspector.java
StoreDependency.java
TargetAccessEditor.java
UnpureBehaviorExpressionEditor.java
util
AffectedBehaviorLocator.java
ConditionExpression.java
ContractClassMemberHelper.java
PrimitiveToObjectConverter.java
Stackalyzer.java
TransformationHelper.java
VariableAccessVerifier.java
types
AbstractSelfInitializingMap.java
CollectionsHelper.java
ListOrderedSet.java
ObjectIdentitySet.java
ObjectMapper.java
Pair.java
SelfInitializingMap.java
SelfInitializingMapOfMaps.java
main
PreTransformer.java
javassist
bytecode
annotation
ClassMemberValueReader.java
test
java
de
vksi
c4j
internal
ClasspathResourceLoader.java
RootTransformerTest.java
classfile
ClassAnalyzerTest.java
ClassFilePoolTest.java
compiler
ArrayExpTest.java
AssertExpTest.java
AssignmentExpTest.java
BooleanExpTest.java
CastExpTest.java
CompareExpTest.java
ConstructorExpTest.java
IfExpTest.java
NestedExpTest.java
StandaloneExpTest.java
StaticCallExpTest.java
StaticCallTest.java
ThrowExpTest.java
TryExpTest.java
ValueExpTest.java
configuration
XmlConfigurationManagerTest.java
contracts
ContractRegistryTest.java
InvolvedTypeInspectorTest.java
runtime
EvaluatorTest.java
transformer
contract
ContractClassTransformerTest.java
ContractDeclaredBehaviorTransformerTest.java
util
AffectedBehaviorLocatorTest.java
ContractClassMemberHelperTest.java
types
ObjectIdentitySetTest.java
ObjectMapperTest.java
testutil
TestUtil.java
c4j-acceptancetest
src
main
java
de
vksi
c4j
acceptancetest
floatingwindow
NorthEastAndSouthWestFloatingWindow.java
NorthEastAndSouthWestFloatingWindowContract.java
NorthEastFloatingWindowSpec.java
NorthEastFloatingWindowSpecContract.java
SouthWestFloatingWindowSpec.java
SouthWestFloatingWindowSpecContract.java
Vector.java
Window.java
WindowStyle.java
lesson01
A.java
AContract.java
ADemo.java
lesson02
A.java
AContract.java
ADemo.java
ASpec.java
ASpecContract.java
lesson101
A.java
AContract.java
ADemo.java
lesson102
B.java
BContract.java
BDemo.java
lesson103
C.java
CContract.java
CDemo.java
lesson111
A.java
AContract.java
ADemo.java
lesson201
A.java
AContract.java
ADemo.java
ASpec.java
ASpecContract.java
lesson202
B.java
BContract.java
BDemo.java
BSpec.java
BSpecContract.java
lesson203
C.java
CContract.java
CDemo.java
CSpec.java
CSpecContract.java
object
ObjectSpec.java
ObjectSpecContract.java
point
Color.java
ColoredPoint.java
ColoredPointContract.java
ColoredPointSpec.java
ColoredPointSpecContract.java
Point.java
PointContract.java
PointSpec.java
PointSpecContract.java
pitfalls
ColoredPointPF4.java
ColoredPointPFEclipseGen.java
PointPF1.java
PointPF2.java
PointPF3.java
PointPF4.java
PointPFEclipseGen.java
stack
Stack.java
StackContract.java
StackSpec.java
StackSpecContract.java
subclasses
Bottom.java
Top.java
TopContract.java
subinterfaces
Bottom.java
Top.java
TopContract.java
VeryBottom.java
timeofday
RicherTimeOfDay.java
RicherTimeOfDayContract.java
RicherTimeOfDaySpec.java
RicherTimeOfDaySpecContract.java
TimeOfDay.java
TimeOfDayContract.java
TimeOfDaySpec.java
TimeOfDaySpecContract.java
workingstudent
EmployeeSpec.java
EmployeeSpecContract.java
StudentSpec.java
StudentSpecContract.java
WorkingStudent.java
WorkingStudentContract.java
YoungWorkingStudent.java
YoungWorkingStudentContract.java
test
java
de
vksi
c4j
acceptancetest
Buffer.java
RicherTimeOfDay.java
point
ColoredPointTest.java
PointTest.java
pitfalls
ColoredPointPF4Test.java
ColoredPointPFEclipseGenTest.java
PointPF1Test.java
PointPF2Test.java
PointPF3Test.java
PointPF4Test.java
PointPFEclipseGenTest.java
s2
NNPreS2Test.java
NNPureS2Test.java
NNUnchangedS2Test.java
s4
NNPostS4Test.java
NNPreS4Test.java
s5a
NNClassInvariantS5aTest.java
NNOldS5aTest.java
NNPostS5aTest.java
NNPreAndPostS5aTest.java
NNPreS5aTest.java
NNUnchangedS5aTest.java
s5b
NNClassInvariantS5bTest.java
NNOldS5bTest.java
NNPostS5bTest.java
NNPreAndPostS5bTest.java
NNPreS5bTest.java
NNUnchangedS5bTest.java
s7a
NNPreS7aTest.java
stack
StackTest.java
timeofday
RicherTimeOfDayTest.java
TimeOfDayTest.java
outsideacceptancetest
RuleEnforcingTest.java
c4j-systemtest
src
test
java
com
external
ExternalClass.java
PureSystemTest.java
de
vksi
c4j
outsidesystemtest
RuleEnforcingTest.java
RuleEnforcingTestBase.java
systemtest
MutableString.java
TestUtil.java
TransformerAwareRule.java
classinvariant
ClassInvariantInPrivateMethodSystemTest.java
ClassInvariantSystemTest.java
ClassInvariantWithExceptionThrownSystemTest.java
ClassInvariantWithStaticMethodSystemTest.java
MaxTimeSystemTest.java
OldInClassInvariantSystemTest.java
UnchangedInClassInvariantSystemTest.java
cleanup
ContractCacheCleanupSystemTest.java
OldStoreCleanupSystemTest.java
UnchangedCleanupSystemTest.java
UnpureCacheSideEffectSystemTest.java
config
DefaultPreConditionUndefinedSystemTest.java
DefaultPureBehaviorSystemTest.java
StrengtheningPreConditionNotAllowedSystemTest.java
assertionerroronly
AssertionErrorOnlyConfigurationSystemTest.java
contractsdirectory
ContractsDirectorySystemTest.java
contractsdirectoryasjarfile
ContractClassInJarFile.java
ContractsDirectoryAsJarFileSystemTest.java
defaultpreconditiontrue
DefaultPreConditionTrueSystemTest.java
defaultpreconditiontrueabc
DefaultPreConditionShouldBeUndefinedSystemTest.java
externalcontract
ExternalContractSystemTest.java
ObjectContractSystemTest.java
logonly
LogOnlyConfigurationSystemTest.java
purebehaviorempty
PureBehaviorEmptySystemTest.java
purebehaviorskiponly
MutableString.java
OldInInvariantSystemTest.java
PureBehaviorSkipOnlySystemTest.java
UnchangedForObjectsSystemTest.java
UnchangedForPrimitivesSystemTest.java
pureregistry
PureInheritedFromConfigSystemTest.java
secondconfig
SecondConfigSystemTest.java
contractclassmagic
ConditionCheckAbortionSystemTest.java
ConstructorContractSystemTest.java
ConstructorInInnerClassesSystemTest.java
ConstructorWarningSystemTest.java
ContractClassAccessingTargetClassFieldsSystemTest.java
ContractClassDefiningOwnConstructorSystemTest.java
ContractClassDifferentConstructorsSystemTest.java
ContractClassInOtherPackageSystemTest.java
ContractClassPrivateIsMadeAccessibleSystemTest.java
ContractForNativeOrAbstractMethodSystemTest.java
ContractIsInitializedSystemTest.java
ContractMethodCallingOtherContractMethodSystemTest.java
ContractReferenceDoesntInheritNonFinalTargetType.java
ContractReferenceIsInterfaceSystemTest.java
ContractReferenceIsTargetTypeSystemTest.java
ExceptionHandlingSystemTest.java
ExplicitlyLoadContractClassBeforeTargetClassSystemTest.java
ExternalAccessOnPrivateNestedInstanceVariableSystemTest.java
FieldAccessSystemTest.java
InitContractSystemTest.java
MethodCallSystemTest.java
RecursiveSystemTest.java
RetainingStateSystemTest.java
StaticMemberAccessSystemTest.java
TargetReferenceSystemTest.java
otherpackage
ContractClassInOtherPackage.java
hamcrestintegration
HamcrestIntegrationSystemTest.java
inheritance
InterfaceSystemTest.java
SeparateContractInstantiationSystemTest.java
SuperclassSystemTest.java
lsp
MultipleInheritanceSystemTest.java
old
AdvancedOldSystemTest.java
ManyLocalVariablesSystemTest.java
OldInMethodAndInvariantSystemTest.java
OldInSeparateMethodSystemTest.java
OldSystemTest.java
OldThrowingExceptionSystemTest.java
OldWithConstructorSystemTest.java
OldWithMultipleContractsSystemTest.java
postcompiler
PreTransformerITCase.java
postcondition
MaxTimeSystemTest.java
PostConditionAccessingTargetSystemTest.java
PostConditionSystemTest.java
PostConditionWithExceptionThrownSystemTest.java
precondition
PreConditionInConstructorSystemTest.java
PreConditionStrengthenedSystemTest.java
PreConditionSystemTest.java
pure
AbstractOrStaticMethodSystemTest.java
AllowPureAccessOnObjectSystemTest.java
AllowPureAccessSystemTest.java
ContractMethodWithParametersCallingUnpureMethodOnParameterSystemTest.java
ExplicitlyPureContractMethodSystemTest.java
PureCallingStaticUnpureInNestedMethodSystemTest.java
PureChangingFieldInNestedMethodSystemTest.java
PureExternalWhitelistBlacklistSystemTest.java
PureInConstructorSystemTest.java
PureInContractSystemTest.java
PureInheritanceSystemTest.java
PureOnlyForOwnMethodsFieldsAndParametersSystemTest.java
PurePassingParametersToUnpureMethodsSystemTest.java
PureStaticExternalWhitelistBlacklistSystemTest.java
PureStaticFieldSystemTest.java
PureSystemTest.java
PureTargetSystemTest.java
PureWithArraysSystemTest.java
PureWithPackagePrivateFieldsSystemTest.java
StaticContractMethodCallingUnpureMethodSystemTest.java
StaticInitializerInPureContextSystemTest.java
otherpackage
SuperClass.java
staticmethods
ContractForInheritedStaticMethodSystemTest.java
ContractForStaticInitializerSystemTest.java
ContractForStaticMethodSystemTest.java
UnmatchedStaticMethodSystemTest.java
unchanged
UnchangedAndOldTogetherSystemTest.java
UnchangedForObjectsSystemTest.java
UnchangedForPrimitivesSystemTest.java
UnchangedParamOutOfBoundsSystemTest.java
UnchangedWhenPreConditionFailsSystemTest.java
singlepackage
PureSystemTest.java
package de.vksi.c4j.acceptancetest; public class Buffer<T> { }