PastaEventConstants.java

package ch.hsr.ifs.pasta.events;

public class PastaEventConstants {

	public static final String SHOW_SELECTION = "SHOW_SELECTION";
	public static final String SELECTION = "SELECTION";
	public static final String ASTNODE = "ASTNODE";

}