view Contracts

Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts
indexing
    description: "Objects that presents typical Views as the responses to Web Client, as example, html template based view, csv file view, pdf view...should be inherited from this class"
    author: "Peizhu Li, <lip@student.ethz.ch>"
    date: "$Date$"
    revision: "$0.6$"

class interface
    VIEW

create 
    make

feature -- set content

    set_content (a_content: STRING_8)
            -- replace  content of the current HTML page with 'a_content' string
    
invariant
    invariant_clause: True

end -- class VIEWClasses Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com