| /* |
| */ |
| package org.taverna.server.master.rest; |
| |
| import javax.xml.bind.annotation.XmlAttribute; |
| import javax.xml.bind.annotation.XmlRootElement; |
| import javax.xml.bind.annotation.XmlSeeAlso; |
| import javax.xml.bind.annotation.XmlType; |
| import javax.xml.bind.annotation.XmlValue; |
| |
| /** |
| * The input to the REST interface for making directories and files, and |
| * uploading file contents. Done with JAXB. |
| * |
| * @author Donal Fellows |
| */ |
| @XmlRootElement(name = "filesystemOperation") |
| @XmlType(name = "FilesystemCreationOperation") |
| @XmlSeeAlso( { MakeOrUpdateDirEntry.MakeDirectory.class, |
| MakeOrUpdateDirEntry.SetFileContents.class }) |
| public abstract class MakeOrUpdateDirEntry { |
| /** |
| * The name of the file or directory that the operation applies to. |
| */ |
| @XmlAttribute |
| public String name; |
| /** |
| * The contents of the file to upload. |
| */ |
| @XmlValue |
| public byte[] contents; |
| |
| /** |
| * Create a directory, described with JAXB. Should leave the |
| * {@link MakeOrUpdateDirEntry#contents contents} field empty. |
| * |
| * @author Donal Fellows |
| */ |
| @XmlRootElement(name = "mkdir") |
| @XmlType(name = "MakeDirectory") |
| public static class MakeDirectory extends MakeOrUpdateDirEntry { |
| } |
| |
| /** |
| * Create a file or set its contents, described with JAXB. |
| * |
| * @author Donal Fellows |
| */ |
| @XmlRootElement(name = "upload") |
| @XmlType(name = "UploadFile") |
| public static class SetFileContents extends MakeOrUpdateDirEntry { |
| } |
| } |