A standalone highlighted piece of code

Introduced properties

private var _content: String

nitc :: HLCode :: _content

The raw code source

private var _hl: HtmlightVisitor

nitc :: HLCode :: _hl

The highlighter used

private var _source: SourceFile

nitc :: HLCode :: _source

The pseudo source-file

fun code_mirror_update: Template

nitc :: HLCode :: code_mirror_update

JavaScript code to update an existing codemirror editor.

fun content: String

nitc :: HLCode :: content

The raw code source

protected fun content=(content: String)

nitc :: HLCode :: content=

The raw code source

init defaultinit(hl: HtmlightVisitor, content: String, source: SourceFile)

nitc :: HLCode :: defaultinit

fun hl: HtmlightVisitor

nitc :: HLCode :: hl

The highlighter used

protected fun hl=(hl: HtmlightVisitor)

nitc :: HLCode :: hl=

The highlighter used

fun source: SourceFile

nitc :: HLCode :: source

The pseudo source-file

protected fun source=(source: SourceFile)

nitc :: HLCode :: source=

The pseudo source-file

Redefined properties

redef type SELF: HLCode

nitc $ HLCode :: SELF

Type of this instance, automatically specialized in every class

redef fun core_serialize_to(v: Serializer)

nitc $ HLCode :: core_serialize_to

Actual serialization of self to serializer

All properties

fun !=(other: nullable Object): Bool

core :: Object :: !=

Have self and other different values?

fun ==(other: nullable Object): Bool

core :: Object :: ==

Have self and other the same value?

type CLASS: Class[SELF]

core :: Object :: CLASS

The type of the class of self.

type SELF: Object

core :: Object :: SELF

Type of this instance, automatically specialized in every class

private var _content: String

nitc :: HLCode :: _content

The raw code source

private var _hl: HtmlightVisitor

nitc :: HLCode :: _hl

The highlighter used

private var _source: SourceFile

nitc :: HLCode :: _source

The pseudo source-file

private fun accept_inspect_serializer(v: InspectSerializer)

serialization :: Serializable :: accept_inspect_serializer

private fun accept_inspect_serializer_core(v: InspectSerializer)

serialization :: Serializable :: accept_inspect_serializer_core

protected fun accept_json_serializer(v: JsonSerializer)

serialization :: Serializable :: accept_json_serializer

Refinable service to customize the serialization of this class to JSON

protected fun accept_msgpack_attribute_counter(v: AttributeCounter)

serialization :: Serializable :: accept_msgpack_attribute_counter

Hook to customize the behavior of the AttributeCounter

protected fun accept_msgpack_serializer(v: MsgPackSerializer)

serialization :: Serializable :: accept_msgpack_serializer

Hook to customize the serialization of this class to MessagePack

protected fun add_to_bundle(bundle: NativeBundle, key: JavaString)

serialization :: Serializable :: add_to_bundle

Called by []= to dynamically choose the appropriate method according

protected fun class_factory(name: String): CLASS

core :: Object :: class_factory

Implementation used by get_class to create the specific class.

fun class_name: String

core :: Object :: class_name

The class name of the object.

fun code_mirror_update: Template

nitc :: HLCode :: code_mirror_update

JavaScript code to update an existing codemirror editor.

fun content: String

nitc :: HLCode :: content

The raw code source

protected fun content=(content: String)

nitc :: HLCode :: content=

The raw code source

fun core_serialize_to(serializer: Serializer)

serialization :: Serializable :: core_serialize_to

Actual serialization of self to serializer

init defaultinit

serialization :: Serializable :: defaultinit

init defaultinit

core :: Object :: defaultinit

init defaultinit(hl: HtmlightVisitor, content: String, source: SourceFile)

nitc :: HLCode :: defaultinit

init from_deserializer(deserializer: Deserializer)

serialization :: Serializable :: from_deserializer

Create an instance of this class from the deserializer

fun get_class: CLASS

core :: Object :: get_class

The meta-object representing the dynamic type of self.

fun hash: Int

core :: Object :: hash

The hash code of the object.

fun hl: HtmlightVisitor

nitc :: HLCode :: hl

The highlighter used

protected fun hl=(hl: HtmlightVisitor)

nitc :: HLCode :: hl=

The highlighter used

init init

core :: Object :: init

fun inspect: String

core :: Object :: inspect

Developer readable representation of self.

protected fun inspect_head: String

core :: Object :: inspect_head

Return "CLASSNAME:#OBJECTID".

intern fun is_same_instance(other: nullable Object): Bool

core :: Object :: is_same_instance

Return true if self and other are the same instance (i.e. same identity).

fun is_same_serialized(other: nullable Object): Bool

core :: Object :: is_same_serialized

Is self the same as other in a serialization context?

intern fun is_same_type(other: Object): Bool

core :: Object :: is_same_type

Return true if self and other have the same dynamic type.

protected fun msgpack_extra_array_items: Int

serialization :: Serializable :: msgpack_extra_array_items

Hook to request a larger than usual metadata array

private intern fun native_class_name: CString

core :: Object :: native_class_name

The class name of the object in CString format.

intern fun object_id: Int

core :: Object :: object_id

An internal hash code for the object based on its identity.

fun output

core :: Object :: output

Display self on stdout (debug only).

intern fun output_class_name

core :: Object :: output_class_name

Display class name on stdout (debug only).

fun serialization_hash: Int

core :: Object :: serialization_hash

Hash value use for serialization

fun serialize_msgpack(plain: nullable Bool): Bytes

serialization :: Serializable :: serialize_msgpack

Serialize self to MessagePack bytes

fun serialize_to(serializer: Serializer)

serialization :: Serializable :: serialize_to

Serialize self to serializer

fun serialize_to_json(plain: nullable Bool, pretty: nullable Bool): String

serialization :: Serializable :: serialize_to_json

Serialize self to JSON

private fun serialize_to_or_delay(v: Serializer)

serialization :: Serializable :: serialize_to_or_delay

Accept references or force direct serialization (using serialize_to)

fun source: SourceFile

nitc :: HLCode :: source

The pseudo source-file

protected fun source=(source: SourceFile)

nitc :: HLCode :: source=

The pseudo source-file

intern fun sys: Sys

core :: Object :: sys

Return the global sys object, the only instance of the Sys class.

fun to_json: String

serialization :: Serializable :: to_json

Serialize self to plain JSON

abstract fun to_jvalue(env: JniEnv): JValue

core :: Object :: to_jvalue

fun to_pretty_json: String

serialization :: Serializable :: to_pretty_json

Serialize self to plain pretty JSON

fun to_s: String

core :: Object :: to_s

User readable representation of self.

Ancestors

interface Object

The root of the class hierarchy.

Parents

interface Serializable

serialization :: Serializable

Instances of this class can be passed to Serializer::serialize

Class definitions

nitc $ HLCode

# A standalone highlighted piece of code
class HLCode
	super Serializable

	# The highlighter used
	var hl: HtmlightVisitor

	# The raw code source
	var content: String

	# The pseudo source-file
	var source: SourceFile

	# JavaScript code to update an existing codemirror editor.
	fun code_mirror_update: Template
	do

		var res = new Template
		res.add """
	function nitmessage() {
		editor.operation(function(){
			for (var i = 0; i < widgets.length; ++i)
			      editor.removeLineWidget(widgets[i]);
			widgets.length = 0;
"""

		for m in source.messages do
			res.add """
			var l = document.createElement("div");
			l.className = "lint-error"
			l.innerHTML = "<span class='glyphicon glyphicon-warning-sign lint-error-icon'></span> {{{m.text.html_escape}}}";
			var w = editor.addLineWidget({{{m.location.line_start-1}}}, l);
			widgets.push(w);
"""
		end
		res.add """});}"""
		return res
	end

	redef fun core_serialize_to(v)
	do
		v.serialize_attribute("code", hl.html.write_to_string)
		var msgs = new Array[Map[String, Serializable]]
		for m in source.messages do
			var o = new Map[String, Serializable]
			msgs.add o
			o["line"] = m.location.line_start-1
			o["message"] = m.text
		end
		v.serialize_attribute("messages", msgs)
	end
end

src/htmlight.nit:23,1--74,3