Packages

c

info.kwarc.mmt.concepts

WebExtractor

abstract class WebExtractor extends AnyRef

TODO FR@DM this entire class is awful and must be cleaned up in order to remain here.

  • Any is only allowed when you actually expect anything
  • Using Either is generally indicative of badly-designed interfaces
  • All exceptions thrown by MMT API must subclass api.Error.
  • Retrieving children of XML elements is much simpler. Use \\ to find non-direct children. id attributes are globally unique - it's unnecessary and less robust to chain id-based retrievals
Source
WebExtractors.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
EncyclopediaOfMathExtractor, NLabExtractor, PlanetMathExtractor, WikiExtractor, WolframExtractor
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. WebExtractor
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new WebExtractor()

Abstract Value Members

  1. abstract def content(node: Elem, uri: String, h: HTML): Unit
    Attributes
    protected
  2. abstract val key: String
  3. abstract val scheme: String

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply(uri: String, h: HTML): Unit
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  7. val dontpull: Boolean
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. def getChild(n: Elem, child: String, prop: (String, String) = ("","")): Elem
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. def pull(urlp: String): Elem
  19. def retrieve(n: Elem, child: Any*): Elem
  20. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  21. def toString(): String
    Definition Classes
    AnyRef → Any
  22. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from AnyRef

Inherited from Any

Ungrouped