/* 
    P/P   *  Method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException__static_init
          */
     1  /*
     2  * Licensed to the Apache Software Foundation (ASF) under one or more
     3  *  contributor license agreements.  The ASF licenses this file to You
     4  * under the Apache License, Version 2.0 (the "License"); you may not
     5  * use this file except in compliance with the License.
     6  * You may obtain a copy of the License at
     7  *
     8  *     http://www.apache.org/licenses/LICENSE-2.0
     9  *
    10  * Unless required by applicable law or agreed to in writing, software
    11  * distributed under the License is distributed on an "AS IS" BASIS,
    12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    13  * See the License for the specific language governing permissions and
    14  * limitations under the License.  For additional information regarding
    15  * copyright in this work, please see the NOTICE file in the top level
    16  * directory of this distribution.
    17  */
    18  package org.apache.roller.weblogger.webservices.adminprotocol.sdk;
    19  
    20  public class UnexpectedRootElementException extends Exception {
    21      private String expected;
    22      private String actual;
    23      
    24      public UnexpectedRootElementException(String msg, String expected, String actual) {
                 /* 
    P/P           *  Method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.UnexpectedRootElementException(String, String, String)
                  * 
                  *  Postconditions:
                  *    this.actual == actual
                  *    init'ed(this.actual)
                  *    this.expected == expected
                  *    init'ed(this.expected)
                  */
    25          super(msg);
    26          this.expected = expected;
    27          this.actual = actual;
    28      }
    29      
    30      public String getMessage() {
                 /* 
    P/P           *  Method: String getMessage()
                  * 
                  *  Preconditions:
                  *    init'ed(this.actual)
                  *    init'ed(this.expected)
                  * 
                  *  Postconditions:
                  *    java.lang.StringBuilder:toString(...)._tainted == this.expected._tainted | this.actual._tainted
                  *    init'ed(java.lang.StringBuilder:toString(...)._tainted)
                  *    return_value == &java.lang.StringBuilder:toString(...)
                  */
    31          return super.getMessage() + ": expected root element:  " + expected + ", was: " + actual;
    32      }    
    33  }