/[eiffelstudio]/branches/eth/eve/Src/library/web_browser/interface/ev_web_browser.e
ViewVC logotype

Diff of /branches/eth/eve/Src/library/web_browser/interface/ev_web_browser.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 92963 by jasonw, Fri Jun 7 15:28:53 2013 UTC revision 92964 by jasonw, Fri Sep 20 05:41:23 2013 UTC
# Line 32  feature {NONE} -- Implementation Line 32  feature {NONE} -- Implementation
32                          create {EV_WEB_BROWSER_IMP} implementation.make                          create {EV_WEB_BROWSER_IMP} implementation.make
33                  end                  end
34    
35    feature -- Query
36    
37            is_browser_usable: BOOLEAN
38                            -- Is current browser usable?
39                    do
40                            Result := implementation.is_browser_usable
41                    end
42    
43  feature -- Command  feature -- Command
44    
45          load_uri (a_uri: READABLE_STRING_GENERAL)          load_uri (a_uri: READABLE_STRING_GENERAL)
46                          -- Requests loading of the specified URI string                          -- Requests loading of the specified URI string
47                  require                  require
48                            is_browser_usable: is_browser_usable
49                          not_empty: a_uri /= void and then not a_uri.is_empty                          not_empty: a_uri /= void and then not a_uri.is_empty
50                  do                  do
51                          implementation.load_uri (a_uri)                          implementation.load_uri (a_uri)
# Line 44  feature -- Command Line 53  feature -- Command
53    
54          back          back
55                          -- Loads the previous history item                          -- Loads the previous history item
56                    require
57                            is_browser_usable: is_browser_usable
58                  do                  do
59                          implementation.back                          implementation.back
60                  end                  end
61    
62          forth          forth
63                          -- Go forth                          -- Go forth
64                    require
65                            is_browser_usable: is_browser_usable
66                  do                  do
67                          implementation.forth                          implementation.forth
68                  end                  end
69    
70          refresh          refresh
71                          -- Loads the next history item                          -- Loads the next history item
72                    require
73                            is_browser_usable: is_browser_usable
74                  do                  do
75                          implementation.refresh                          implementation.refresh
76                  end                  end
77    
78          stop          stop
79                          -- Stop loading                          -- Stop loading
80                    require
81                            is_browser_usable: is_browser_usable
82                  do                  do
83                          implementation.stop                          implementation.stop
84                  end                  end
85    
86  note  note
87          copyright:      "Copyright (c) 1984-2009, Eiffel Software and others"          copyright:      "Copyright (c) 1984-2013, Eiffel Software and others"
88          license:        "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"          license:        "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
89          source: "[          source: "[
90                           Eiffel Software                          Eiffel Software
91                           356 Storke Road, Goleta, CA 93117 USA                          5949 Hollister Ave., Goleta, CA 93117 USA
92                           Telephone 805-685-1006, Fax 805-685-6869                          Telephone 805-685-1006, Fax 805-685-6869
93                           Website http://www.eiffel.com                          Website http://www.eiffel.com
94                           Customer support http://support.eiffel.com                          Customer support http://support.eiffel.com
95                  ]"                  ]"
96    
97    

Legend:
Removed from v.92963  
changed lines
  Added in v.92964

  ViewVC Help
Powered by ViewVC 1.1.23