Class WebEngine.pageDetails

  • Enclosing class:
    WebEngine

    public static class WebEngine.pageDetails
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected pageDetails​(java.net.URL _initial_url, java.net.URL _final_url, java.lang.String _content)  
    • Field Detail

      • initial_url

        private java.net.URL initial_url
      • final_url

        private java.net.URL final_url
      • content

        private java.lang.String content
      • verified_state

        private java.lang.Object verified_state
    • Constructor Detail

      • pageDetails

        protected pageDetails​(java.net.URL _initial_url,
                              java.net.URL _final_url,
                              java.lang.String _content)
    • Method Detail

      • getInitialURL

        public java.net.URL getInitialURL()
      • getFinalURL

        public java.net.URL getFinalURL()
      • getContent

        public java.lang.String getContent()
      • setContent

        private void setContent​(java.lang.String _content)
      • setVerifiedState

        public void setVerifiedState​(java.lang.Object state)
      • getVerifiedState

        public java.lang.Object getVerifiedState()