//# 0 errors, 115 messages
//#
/*
    //#MediacastResource.java:1:1: class: org.apache.roller.weblogger.util.MediacastResource
    //#MediacastResource.java:1:1: method: org.apache.roller.weblogger.util.MediacastResource.org.apache.roller.weblogger.util.MediacastResource__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.util;


/**
 * An external 'mediacast' resource, typically a podcast, video, etc.
 *
 * This class is mainly used by weblog entries to track external resources used
 * in postings via enclosures.
 */
public class MediacastResource {
    
    private String url = null;
    private String contentType = null;
    private long length = 0;
    
    
    public MediacastResource(String u, String c, long l) {
    //#MediacastResource.java:35: method: void org.apache.roller.weblogger.util.MediacastResource.org.apache.roller.weblogger.util.MediacastResource(String, String, long)
    //#input(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): __Descendant_Table[org/apache/roller/weblogger/util/MediacastResource]
    //#input(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): __Dispatch_Table.setContentType(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): __Dispatch_Table.setLength(J)V
    //#input(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): __Dispatch_Table.setUrl(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): c
    //#input(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): l
    //#input(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): this
    //#input(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): this.__Tag
    //#input(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): u
    //#output(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): this.contentType
    //#output(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): this.length
    //#output(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): this.url
    //#pre[4] (void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): this.__Tag == org/apache/roller/weblogger/util/MediacastResource
    //#post(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): this.contentType == c
    //#post(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): init'ed(this.contentType)
    //#post(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): this.length == l
    //#post(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): init'ed(this.length)
    //#post(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): this.url == u
    //#post(void org.apache.roller.weblogger.util.MediacastResource(String, String, long)): init'ed(this.url)
        this.setUrl(u);
        this.setContentType(c);
        this.setLength(l);
    }
    //#MediacastResource.java:39: end of method: void org.apache.roller.weblogger.util.MediacastResource.org.apache.roller.weblogger.util.MediacastResource(String, String, long)

    
    public String getUrl() {
        return url;
    //#MediacastResource.java:43: method: String org.apache.roller.weblogger.util.MediacastResource.getUrl()
    //#input(String getUrl()): this
    //#input(String getUrl()): this.url
    //#output(String getUrl()): return_value
    //#pre[2] (String getUrl()): init'ed(this.url)
    //#post(String getUrl()): return_value == this.url
    //#post(String getUrl()): init'ed(return_value)
    //#MediacastResource.java:43: end of method: String org.apache.roller.weblogger.util.MediacastResource.getUrl()
    }

    public void setUrl(String url) {
        this.url = url;
    //#MediacastResource.java:47: method: void org.apache.roller.weblogger.util.MediacastResource.setUrl(String)
    //#input(void setUrl(String)): this
    //#input(void setUrl(String)): url
    //#output(void setUrl(String)): this.url
    //#post(void setUrl(String)): this.url == url
    //#post(void setUrl(String)): init'ed(this.url)
    }
    //#MediacastResource.java:48: end of method: void org.apache.roller.weblogger.util.MediacastResource.setUrl(String)

    public String getContentType() {
        return contentType;
    //#MediacastResource.java:51: method: String org.apache.roller.weblogger.util.MediacastResource.getContentType()
    //#input(String getContentType()): this
    //#input(String getContentType()): this.contentType
    //#output(String getContentType()): return_value
    //#pre[2] (String getContentType()): init'ed(this.contentType)
    //#post(String getContentType()): return_value == this.contentType
    //#post(String getContentType()): init'ed(return_value)
    //#MediacastResource.java:51: end of method: String org.apache.roller.weblogger.util.MediacastResource.getContentType()
    }

    public void setContentType(String contentType) {
        this.contentType = contentType;
    //#MediacastResource.java:55: method: void org.apache.roller.weblogger.util.MediacastResource.setContentType(String)
    //#input(void setContentType(String)): contentType
    //#input(void setContentType(String)): this
    //#output(void setContentType(String)): this.contentType
    //#post(void setContentType(String)): this.contentType == contentType
    //#post(void setContentType(String)): init'ed(this.contentType)
    }
    //#MediacastResource.java:56: end of method: void org.apache.roller.weblogger.util.MediacastResource.setContentType(String)

    public long getLength() {
        return length;
    //#MediacastResource.java:59: method: long org.apache.roller.weblogger.util.MediacastResource.getLength()
    //#input(long getLength()): this
    //#input(long getLength()): this.length
    //#output(long getLength()): return_value
    //#pre[2] (long getLength()): init'ed(this.length)
    //#post(long getLength()): return_value == this.length
    //#post(long getLength()): init'ed(return_value)
    //#MediacastResource.java:59: end of method: long org.apache.roller.weblogger.util.MediacastResource.getLength()
    }

    public void setLength(long length) {
        this.length = length;
    //#MediacastResource.java:63: method: void org.apache.roller.weblogger.util.MediacastResource.setLength(long)
    //#input(void setLength(long)): length
    //#input(void setLength(long)): this
    //#output(void setLength(long)): this.length
    //#post(void setLength(long)): this.length == length
    //#post(void setLength(long)): init'ed(this.length)
    }
    //#MediacastResource.java:64: end of method: void org.apache.roller.weblogger.util.MediacastResource.setLength(long)
    
    
    public String toString() {
        StringBuffer buf = new StringBuffer();
    //#MediacastResource.java:68: method: String org.apache.roller.weblogger.util.MediacastResource.toString()
    //#input(String toString()): "&#10;"._tainted
    //#input(String toString()): "contentType = "._tainted
    //#input(String toString()): "length = "._tainted
    //#input(String toString()): "url = "._tainted
    //#input(String toString()): __Descendant_Table[org/apache/roller/weblogger/util/MediacastResource]
    //#input(String toString()): __Descendant_Table[others]
    //#input(String toString()): __Dispatch_Table.getContentType()Ljava/lang/String;
    //#input(String toString()): __Dispatch_Table.getLength()J
    //#input(String toString()): __Dispatch_Table.getUrl()Ljava/lang/String;
    //#input(String toString()): this
    //#input(String toString()): this.__Tag
    //#input(String toString()): this.contentType
    //#input(String toString()): this.contentType._tainted
    //#input(String toString()): this.length
    //#input(String toString()): this.url
    //#input(String toString()): this.url._tainted
    //#output(String toString()): java.lang.StringBuffer:toString(...)._tainted
    //#output(String toString()): return_value
    //#new obj(String toString()): java.lang.StringBuffer:toString(...)
    //#pre[2] (String toString()): this.__Tag == org/apache/roller/weblogger/util/MediacastResource
    //#pre[3] (String toString()): init'ed(this.contentType)
    //#pre[5] (String toString()): init'ed(this.length)
    //#pre[6] (String toString()): init'ed(this.url)
    //#post(String toString()): java.lang.StringBuffer:toString(...)._tainted == this.url._tainted | this.contentType._tainted
    //#post(String toString()): init'ed(java.lang.StringBuffer:toString(...)._tainted)
    //#post(String toString()): return_value == &java.lang.StringBuffer:toString(...)
        
        buf.append("url = ").append(getUrl()).append("\n");
        buf.append("contentType = ").append(getContentType()).append("\n");
        buf.append("length = ").append(getLength()).append("\n");
        
        return buf.toString();
    //#MediacastResource.java:74: end of method: String org.apache.roller.weblogger.util.MediacastResource.toString()
    }
    
}
    //#output(org.apache.roller.weblogger.util.MediacastResource__static_init): __Descendant_Table[org/apache/roller/weblogger/util/MediacastResource]
    //#output(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.getContentType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.getLength()J
    //#output(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.getUrl()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.setContentType(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.setLength(J)V
    //#output(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.setUrl(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#post(org.apache.roller.weblogger.util.MediacastResource__static_init): __Descendant_Table[org/apache/roller/weblogger/util/MediacastResource] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.getContentType()Ljava/lang/String; == &getContentType
    //#post(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.getLength()J == &getLength
    //#post(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.getUrl()Ljava/lang/String; == &getUrl
    //#post(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.setContentType(Ljava/lang/String;)V == &setContentType
    //#post(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.setLength(J)V == &setLength
    //#post(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.setUrl(Ljava/lang/String;)V == &setUrl
    //#post(org.apache.roller.weblogger.util.MediacastResource__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &toString
    //#MediacastResource.java:: end of method: org.apache.roller.weblogger.util.MediacastResource.org.apache.roller.weblogger.util.MediacastResource__static_init
    //#MediacastResource.java:: end of class: org.apache.roller.weblogger.util.MediacastResource
