SDA SE Wiki

Represents the interface declaration.

#class: classT
ID of the fact declared to be an interface (this is NOT a unique ID, but a reference to another fact).

public interface Hello {
	public void hello();
}

classT(#class,_,'Hello',_).
interfaceT(#class).

ast_relation('Java',interfaceT,[
     ast_arg(id,     mult(1,1,no ), id,   [classT]) 
]).