Class OutputRedirection


  • public class OutputRedirection
    extends java.lang.Object

    Created: 2017. 3. 8.

    • Method Detail

      • getOperand

        public java.lang.String getOperand()
      • setOperand

        public void setOperand​(java.lang.String operand)
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • serialize

        public static java.lang.String serialize​(java.util.Collection<OutputRedirection> redirectionList)
      • determineOutputWriter

        public static java.io.PrintWriter determineOutputWriter​(java.util.List<OutputRedirection> redirectionList,
                                                                Console console)
                                                         throws java.io.FileNotFoundException,
                                                                java.io.UnsupportedEncodingException
        Returns the Writer instances for translet output redirection.
        Parameters:
        redirectionList - a list of the output redirection
        console - the Console instance
        Returns:
        the Writer instance
        Throws:
        java.io.FileNotFoundException - if the file has an invalid path
        java.io.UnsupportedEncodingException - if the named encoding is not supported