daniel-pfeffer / annotations-source-code-modification Goto Github PK

Create the Kotlin Plugin ClassBuilder so that:

• checked that all annotated methods are modifiable
• checked that all annotated classes are modifiable
• checked that all annotated field are modifiable
• checked that all annotated local variables are modifiable
• checked that all annotated parameter are modifiable

Created the infrastructure of the Gradle Plugin and finalise the minor development effort.
This includes:

• A Class implementing KotlinCompilerPluginSupportPlugin

Add a dynamically created pool of classes that can be used for verification.
E.g.: A Program uses NotNegativeVerifier and NotPositiveVerifier, the ClassPool then creates fields for both verifier like

object VerifierPool{
    val notNegativeVerifier = NotNegativeVerifier()
    val notPositiveVerifier = NotNegativeVerifier()
}

As all verifier must be statless we can use a pool to reuse verifier instances, to not waste performance

Create the required ByteCode for Class Annotations.
For simplicity we won't analyse what fields are verified.
The verification procedure will be called after

• Constructor invocation
• field modifications

Add a dynamically created pool of classes that can be used for verification.
E.g.: A Program uses NotNegativeVerifier and NotPositiveVerifier, the ClassPool then creates fields for both verifier like

object VerifierPool{
    val notNegativeVerifier = NotNegativeVerifier()
    val notPositiveVerifier = NotNegativeVerifier()
}

As all verifier must be statless we can use a pool to reuse verifier instances, to not waste performance

Create the required ByteCode for Parameter Annotations.
The verification procedure will be called after

• method invocation

Create the required ByteCode for Local Variable Annotations.
The verification procedure will be called after

• Local Variable invocation
• Local Variable modification

Create the required Code for Parameter Annotations.
The verification procedure will be called after

• method invocation

Create the required Code for Local Variable Annotations.
The verification procedure will be called after

• Local Variable invocation
• Local Variable modification

Create the general Infrastructure for the Compiler Plugin, including

• annotation module
• buildSrc module
• gradle-plugin module
• kotlin-plugin module
• sample module

Additionally, organise the modules so they work correctly without a potential future problem

Create the Kotlin Plugin Infrastructure including:

• CompilerPluginRegistrar: Controls the registration of the Compiler Plugin
• CLIProcessor: Maps command line options to more useful configuration options
• ClassGenerationInterceptor: Intercepts the class building to allow for custom ClassBuilder
• ClassBuilder: Custom ClassBuilder that controls how a class is created

Create the general Infrastructure for the Java Agent, this includes:

• Agent module
• Annotation module
• buildSrc module
• sample module

Create the required Code for Field Annotations.
The verification procedure will be called after

• modification of the annotated field

Create the required ByteCode for Field Annotations.
The verification procedure will be called after

• modifications of the annotated field

Create the required Code for Class Annotations.
For simplicity we won't analyse what fields are verified.
The verification procedure will be called after

• Constructor invocation
• field modifications