To trigger the transformations applied by the translator, some fields and methods must be annotated with the SecureField and SecureMethod annotations from package com.validy.technology.annotation. Annotated fields will be removed from their original class to be stored inside the secure coprocessor and calls to secured methods will be transformed so they cannot be removed from the application. These transformations are explained in more details in Chapter 3, Overview. You can look at the "minimal" application example and see that one field and two methods from Minimal are annotated as shown below.

public class Minimal {
	
	@SecureField
	private int counter = 0;
	
	@SecureMethod
	public void inc() {
		counter++;
	}
	
	@SecureMethod
	public boolean overflow() {
		return counter > 10;
	}
...
}