//# 0 errors, 37 messages
//#
/*
    //#UnexpectedRootElementException.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException
    //#UnexpectedRootElementException.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException__static_init
* Licensed to the Apache Software Foundation (ASF) under one or more
*  contributor license agreements.  The ASF licenses this file to You
* under the Apache License, Version 2.0 (the "License"); you may not
* use this file except in compliance with the License.
* You may obtain a copy of the License at
*
*     http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.  For additional information regarding
* copyright in this work, please see the NOTICE file in the top level
* directory of this distribution.
*/
package org.apache.roller.weblogger.webservices.adminprotocol.sdk;

public class UnexpectedRootElementException extends Exception {
    private String expected;
    private String actual;
    
    public UnexpectedRootElementException(String msg, String expected, String actual) {
        super(msg);
    //#UnexpectedRootElementException.java:25: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)): actual
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)): expected
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)): msg
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)): this
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)): this.actual
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)): this.expected
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)): this.actual == actual
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)): init'ed(this.actual)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)): this.expected == expected
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)): init'ed(this.expected)
        this.expected = expected;
        this.actual = actual;
    }
    //#UnexpectedRootElementException.java:28: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)
    
    public String getMessage() {
        return super.getMessage() + ": expected root element:  " + expected + ", was: " + actual;
    //#UnexpectedRootElementException.java:31: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException.getMessage()
    //#input(String getMessage()): ", was: "._tainted
    //#input(String getMessage()): ": expected root element:  "._tainted
    //#input(String getMessage()): this
    //#input(String getMessage()): this.actual
    //#input(String getMessage()): this.actual._tainted
    //#input(String getMessage()): this.expected
    //#input(String getMessage()): this.expected._tainted
    //#output(String getMessage()): java.lang.StringBuilder:toString(...)._tainted
    //#output(String getMessage()): return_value
    //#new obj(String getMessage()): java.lang.StringBuilder:toString(...)
    //#pre[2] (String getMessage()): init'ed(this.actual)
    //#pre[4] (String getMessage()): init'ed(this.expected)
    //#post(String getMessage()): java.lang.StringBuilder:toString(...)._tainted == this.expected._tainted | this.actual._tainted
    //#post(String getMessage()): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(String getMessage()): return_value == &java.lang.StringBuilder:toString(...)
    //#UnexpectedRootElementException.java:31: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException.getMessage()
    }    
}
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UnexpectedRootElementException]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException__static_init): __Dispatch_Table.getMessage()Ljava/lang/String;
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UnexpectedRootElementException] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException__static_init): __Dispatch_Table.getMessage()Ljava/lang/String; == &getMessage
    //#UnexpectedRootElementException.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException.org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException__static_init
    //#UnexpectedRootElementException.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException
