/**
 * ThaiPalaceMenuServicePortType.java
 *
 * This file was auto-generated from WSDL
 * by the Apache Axis Wsdl2java emitter.
 */

public interface ThaiPalaceMenuServicePortType extends java.rmi.Remote {
    public String fileToString(String arg0) throws java.rmi.RemoteException;
    public String getMenu() throws java.rmi.RemoteException;
    public String getMenuDocument() throws java.rmi.RemoteException;
    public String getMenuSchema() throws java.rmi.RemoteException;
    public String getMenuStylesheet() throws java.rmi.RemoteException;
}
