JSickoContractCompiler (jSicko 1.0.0-M5 API)

java.lang.Object
- ch.usi.si.codelounge.jsicko.plugin.JSickoContractCompiler

All Implemented Interfaces:

Plugin
```
public class JSickoContractCompiler
extends Object
implements Plugin
```
The main entry point for jSicko, that is, the implementation of the javac compiler.

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  static String NAME
- Constructor Summary
  
  Constructors
  Constructor Description
  
  JSickoContractCompiler()
  Constructs the contract compiler.
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  String getName()
  Returns the name of the plugin.
  
  void init(JavacTask task, String... args)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - NAME
```
public static final String NAME
```
- Constructor Detail
  - JSickoContractCompiler
```
public JSickoContractCompiler()
```
    Constructs the contract compiler.
- Method Detail
  - getName
```
public String getName()
```
    Returns the name of the plugin.
    
    Specified by:
    
    getName in interface Plugin
    
    Returns:
    
    the name of the plugin.
  - init
```
public void init(JavacTask task,
                 String... args)
```
    Specified by:
    
    init in interface Plugin