IC4JAnnotations.java

package net.sourceforge.c4jplugin.internal.annotationtypes;

import net.sourceforge.c4jplugin.C4JActivator;

public interface IC4JAnnotations {
	
	public static String TYPE_CLASS_INVARIANT = C4JActivator.PLUGIN_ID + ".annotationtypes.ClassInvariantAnnotation";
	public static String TYPE_CONTRACTED_CLASS_INVARIANT = C4JActivator.PLUGIN_ID + ".annotationtypes.ContractedClassInvariantAnnotation";
	
	public static String TYPE_CONTRACTED_METHOD = C4JActivator.PLUGIN_ID + ".annotationtypes.ContractedMethodAnnotation";
	public static String TYPE_METHOD_CONTRACT = C4JActivator.PLUGIN_ID + ".annotationtypes.MethodAnnotation";
	
	public static String TYPE_WARNING = C4JActivator.PLUGIN_ID + ".annotationtypes.WarningAnnotation";
}