A card that displays a summary of a list of cards

Introduced properties

private var _id: String

nitc :: CardSummary :: _id

private var _no_title: Bool

nitc :: CardSummary :: _no_title

Show the summary title
private var _title: String

nitc :: CardSummary :: _title

init defaultinit(no_title: nullable Bool)

nitc :: CardSummary :: defaultinit

fun no_title: Bool

nitc :: CardSummary :: no_title

Show the summary title
fun no_title=(no_title: nullable Bool)

nitc :: CardSummary :: no_title=

Show the summary title

Redefined properties

redef type SELF: CardSummary

nitc $ CardSummary :: SELF

Type of this instance, automatically specialized in every class
redef fun id: String

nitc $ CardSummary :: id

Card id
redef fun id=(id: String)

nitc $ CardSummary :: id=

Card id
redef fun rendering

nitc $ CardSummary :: rendering

Service used to render the content of the template.
redef fun title: String

nitc $ CardSummary :: title

Card title
redef fun title=(title: String)

nitc $ CardSummary :: title=

Card title

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 _cards: Array[StaticCard]

nitc :: CardList :: _cards

Cards contained in this list
private var _content: Array[Writable]

template :: Template :: _content

Each sub-elements
private var _id: String

nitc :: CardSummary :: _id

private var _id: String

nitc :: StaticCard :: _id

Card id
private var _is_frozen: Bool

template :: Template :: _is_frozen

Is the template allowing more modification (add)
private var _is_writing: Bool

template :: Template :: _is_writing

Flag to avoid infinite recursivity if a template contains itself
private var _no_title: Bool

nitc :: CardSummary :: _no_title

Show the summary title
private var _render_done: Bool

template :: Template :: _render_done

Flag to avoid multiple rendering
private var _title: String

nitc :: CardSummary :: _title

private var _title: String

nitc :: StaticCard :: _title

Card title
fun add(element: Writable)

template :: Template :: add

Append an element (String, other Template, etc.) at the end of the template.
fun add_all(elements: Collection[Writable])

template :: Template :: add_all

Append a bunch of elements at the end of the template.
fun add_list(elements: Collection[Writable], sep: Writable, last_sep: Writable)

template :: Template :: add_list

Append a bunch of elements at the end of the template with separations.
fun addn(element: Writable)

template :: Template :: addn

Append element and the end of the template then append a "\n".
fun cards: Array[StaticCard]

nitc :: CardList :: cards

Cards contained in this list
fun cards=(cards: Array[StaticCard])

nitc :: CardList :: cards=

Cards contained in this list
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.
private fun content: Array[Writable]

template :: Template :: content

Each sub-elements
private fun content=(content: Array[Writable])

template :: Template :: content=

Each sub-elements
init defaultinit(title: String, id: String)

nitc :: StaticCard :: defaultinit

init defaultinit(title: String, id: String)

nitc :: CardList :: defaultinit

init defaultinit(no_title: nullable Bool)

nitc :: CardSummary :: defaultinit

fun force_render

template :: Template :: force_render

Call rendering, if not already done
fun freeze

template :: Template :: freeze

Disable further modification: no more add is allowed
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 id: String

nitc :: StaticCard :: id

Card id
fun id=(id: String)

nitc :: StaticCard :: id=

Card id
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".
fun is_frozen: Bool

template :: Template :: is_frozen

Is the template allowing more modification (add)
protected fun is_frozen=(is_frozen: Bool)

template :: Template :: is_frozen=

Is the template allowing more modification (add)
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.
private fun is_writing: Bool

template :: Template :: is_writing

Flag to avoid infinite recursivity if a template contains itself
private fun is_writing=(is_writing: Bool)

template :: Template :: is_writing=

Flag to avoid infinite recursivity if a template contains itself
private intern fun native_class_name: CString

core :: Object :: native_class_name

The class name of the object in CString format.
fun new_sub: Template

template :: Template :: new_sub

Return a new basic template that is automatically added in self (using add)
fun no_title: Bool

nitc :: CardSummary :: no_title

Show the summary title
fun no_title=(no_title: nullable Bool)

nitc :: CardSummary :: no_title=

Show the summary title
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).
private fun render_done: Bool

template :: Template :: render_done

Flag to avoid multiple rendering
private fun render_done=(render_done: Bool)

template :: Template :: render_done=

Flag to avoid multiple rendering
protected fun rendering

template :: Template :: rendering

Service used to render the content of the template.
fun serialization_hash: Int

core :: Object :: serialization_hash

Hash value use for serialization
intern fun sys: Sys

core :: Object :: sys

Return the global sys object, the only instance of the Sys class.
fun title: String

nitc :: StaticCard :: title

Card title
fun title=(title: String)

nitc :: StaticCard :: title=

Card title
abstract fun to_jvalue(env: JniEnv): JValue

core :: Object :: to_jvalue

fun to_s: String

core :: Object :: to_s

User readable representation of self.
abstract fun write_to(stream: Writer)

core :: Writable :: write_to

Write itself to a stream
fun write_to_bytes: Bytes

core :: Writable :: write_to_bytes

Like write_to but return a new Bytes (may be quite large)
fun write_to_file(filepath: String)

core :: Writable :: write_to_file

Like write_to but take care of creating the file
fun write_to_string: String

core :: Writable :: write_to_string

Like write_to but return a new String (may be quite large).
package_diagram nitc::CardSummary CardSummary nitc::CardList CardList nitc::CardSummary->nitc::CardList nitc::StaticCard StaticCard nitc::CardList->nitc::StaticCard ...nitc::StaticCard ... ...nitc::StaticCard->nitc::StaticCard

Ancestors

interface Object

core :: Object

The root of the class hierarchy.
abstract class StaticCard

nitc :: StaticCard

A card that can be rendered to HTML
class Template

template :: Template

Templates are simple hierarchical pieces of text used for efficient stream writing.
interface Writable

core :: Writable

Things that can be efficienlty written to a Writer

Parents

class CardList

nitc :: CardList

A list of cards

Class definitions

nitc $ CardSummary
# A card that displays a summary of a list of cards
class CardSummary
	super CardList
	autoinit(no_title)

	redef var id = "summary"
	redef var title = "Summary"

	# Show the summary title
	var no_title: Bool = false is optional, writable

	redef fun rendering do
		if not no_title then
			addn "<h4>Summary</h4>"
		end
		addn "<div class='summary'>"
		addn " <ul class='list-unstyled'>"
		var sections = new Array[CardSection]
		for card in cards do
			if card isa CardSection then
				while sections.not_empty and sections.last.level >= card.level do
					sections.pop
				end
				sections.add card
			end
			var level = if sections.is_empty then 1 else sections.last.level
			if not card isa CardSection then level += 1
			addn "<li><a href='#{card.id}'><h{level}>{card.title}</h{level}></a></li>"
		end
		addn " </ul>"
		addn "</div>"
	end
end
src/doc/static/static_cards.nit:112,1--144,3