mirror of
https://github.com/KevinMidboe/linguist.git
synced 2025-10-29 17:50:22 +00:00
Adding support for JSONLD: http://json-ld.org/
This commit is contained in:
@@ -847,6 +847,13 @@ JSON5:
|
|||||||
lexer: JavaScript
|
lexer: JavaScript
|
||||||
primary_extension: .json5
|
primary_extension: .json5
|
||||||
|
|
||||||
|
JSONLD:
|
||||||
|
type: data
|
||||||
|
group: JavaScript
|
||||||
|
ace_mode: json
|
||||||
|
lexer: JavaScript
|
||||||
|
primary_extension: .jsonld
|
||||||
|
|
||||||
Jade:
|
Jade:
|
||||||
group: HTML
|
group: HTML
|
||||||
type: markup
|
type: markup
|
||||||
|
|||||||
@@ -20,6 +20,12 @@
|
|||||||
".asc",
|
".asc",
|
||||||
".asciidoc"
|
".asciidoc"
|
||||||
],
|
],
|
||||||
|
"ATS": [
|
||||||
|
".atxt",
|
||||||
|
".dats",
|
||||||
|
".hats",
|
||||||
|
".sats"
|
||||||
|
],
|
||||||
"AutoHotkey": [
|
"AutoHotkey": [
|
||||||
".ahk"
|
".ahk"
|
||||||
],
|
],
|
||||||
@@ -37,6 +43,7 @@
|
|||||||
],
|
],
|
||||||
"C": [
|
"C": [
|
||||||
".c",
|
".c",
|
||||||
|
".cats",
|
||||||
".h"
|
".h"
|
||||||
],
|
],
|
||||||
"C#": [
|
"C#": [
|
||||||
@@ -52,6 +59,9 @@
|
|||||||
"Ceylon": [
|
"Ceylon": [
|
||||||
".ceylon"
|
".ceylon"
|
||||||
],
|
],
|
||||||
|
"Cirru": [
|
||||||
|
".cirru"
|
||||||
|
],
|
||||||
"Clojure": [
|
"Clojure": [
|
||||||
".cl2",
|
".cl2",
|
||||||
".clj",
|
".clj",
|
||||||
@@ -176,6 +186,9 @@
|
|||||||
"JSON5": [
|
"JSON5": [
|
||||||
".json5"
|
".json5"
|
||||||
],
|
],
|
||||||
|
"JSONLD": [
|
||||||
|
".jsonld"
|
||||||
|
],
|
||||||
"Julia": [
|
"Julia": [
|
||||||
".jl"
|
".jl"
|
||||||
],
|
],
|
||||||
@@ -330,6 +343,7 @@
|
|||||||
".pde"
|
".pde"
|
||||||
],
|
],
|
||||||
"Prolog": [
|
"Prolog": [
|
||||||
|
".ecl",
|
||||||
".pl",
|
".pl",
|
||||||
".prolog"
|
".prolog"
|
||||||
],
|
],
|
||||||
@@ -342,6 +356,7 @@
|
|||||||
],
|
],
|
||||||
"R": [
|
"R": [
|
||||||
".R",
|
".R",
|
||||||
|
".rsx",
|
||||||
".script!"
|
".script!"
|
||||||
],
|
],
|
||||||
"Racket": [
|
"Racket": [
|
||||||
@@ -535,8 +550,8 @@
|
|||||||
".gemrc"
|
".gemrc"
|
||||||
]
|
]
|
||||||
},
|
},
|
||||||
"tokens_total": 445429,
|
"tokens_total": 450519,
|
||||||
"languages_total": 523,
|
"languages_total": 547,
|
||||||
"tokens": {
|
"tokens": {
|
||||||
"ABAP": {
|
"ABAP": {
|
||||||
"*/**": 1,
|
"*/**": 1,
|
||||||
@@ -2032,6 +2047,561 @@
|
|||||||
".Section": 1,
|
".Section": 1,
|
||||||
"list": 1
|
"list": 1
|
||||||
},
|
},
|
||||||
|
"ATS": {
|
||||||
|
"//": 211,
|
||||||
|
"#include": 16,
|
||||||
|
"staload": 25,
|
||||||
|
"_": 25,
|
||||||
|
"sortdef": 2,
|
||||||
|
"ftype": 13,
|
||||||
|
"type": 30,
|
||||||
|
"-": 49,
|
||||||
|
"infixr": 2,
|
||||||
|
"(": 562,
|
||||||
|
")": 567,
|
||||||
|
"typedef": 10,
|
||||||
|
"a": 200,
|
||||||
|
"b": 26,
|
||||||
|
"<cloref1>": 2,
|
||||||
|
"functor": 12,
|
||||||
|
"F": 34,
|
||||||
|
"{": 142,
|
||||||
|
"}": 141,
|
||||||
|
"list0": 9,
|
||||||
|
"extern": 13,
|
||||||
|
"val": 95,
|
||||||
|
"functor_list0": 7,
|
||||||
|
"implement": 55,
|
||||||
|
"f": 22,
|
||||||
|
"lam": 20,
|
||||||
|
"xs": 82,
|
||||||
|
"list0_map": 2,
|
||||||
|
"<a>": 14,
|
||||||
|
"<b>": 3,
|
||||||
|
"datatype": 4,
|
||||||
|
"CoYoneda": 7,
|
||||||
|
"r": 25,
|
||||||
|
"of": 59,
|
||||||
|
"fun": 56,
|
||||||
|
"CoYoneda_phi": 2,
|
||||||
|
"CoYoneda_psi": 3,
|
||||||
|
"ftor": 9,
|
||||||
|
"fx": 8,
|
||||||
|
"x": 48,
|
||||||
|
"int0": 4,
|
||||||
|
"I": 8,
|
||||||
|
"int": 2,
|
||||||
|
"bool": 27,
|
||||||
|
"True": 7,
|
||||||
|
"|": 22,
|
||||||
|
"False": 8,
|
||||||
|
"boxed": 2,
|
||||||
|
"boolean": 2,
|
||||||
|
"bool2string": 4,
|
||||||
|
"string": 2,
|
||||||
|
"case": 9,
|
||||||
|
"+": 20,
|
||||||
|
"fprint_val": 2,
|
||||||
|
"<bool>": 2,
|
||||||
|
"out": 8,
|
||||||
|
"fprint": 3,
|
||||||
|
"int2bool": 2,
|
||||||
|
"i": 6,
|
||||||
|
"let": 34,
|
||||||
|
"in": 48,
|
||||||
|
"if": 7,
|
||||||
|
"then": 11,
|
||||||
|
"else": 7,
|
||||||
|
"end": 73,
|
||||||
|
"myintlist0": 2,
|
||||||
|
"g0ofg1": 1,
|
||||||
|
"list": 1,
|
||||||
|
"myboolist0": 9,
|
||||||
|
"fprintln": 3,
|
||||||
|
"stdout_ref": 4,
|
||||||
|
"main0": 3,
|
||||||
|
"UN": 3,
|
||||||
|
"phil_left": 3,
|
||||||
|
"n": 51,
|
||||||
|
"phil_right": 3,
|
||||||
|
"nmod": 1,
|
||||||
|
"NPHIL": 6,
|
||||||
|
"randsleep": 6,
|
||||||
|
"intGte": 1,
|
||||||
|
"void": 14,
|
||||||
|
"ignoret": 2,
|
||||||
|
"sleep": 2,
|
||||||
|
"UN.cast": 2,
|
||||||
|
"uInt": 1,
|
||||||
|
"rand": 1,
|
||||||
|
"mod": 1,
|
||||||
|
"phil_think": 3,
|
||||||
|
"println": 9,
|
||||||
|
"phil_dine": 3,
|
||||||
|
"lf": 5,
|
||||||
|
"rf": 5,
|
||||||
|
"phil_loop": 10,
|
||||||
|
"nl": 2,
|
||||||
|
"nr": 2,
|
||||||
|
"ch_lfork": 2,
|
||||||
|
"fork_changet": 5,
|
||||||
|
"ch_rfork": 2,
|
||||||
|
"channel_takeout": 4,
|
||||||
|
"HX": 1,
|
||||||
|
"try": 1,
|
||||||
|
"to": 16,
|
||||||
|
"actively": 1,
|
||||||
|
"induce": 1,
|
||||||
|
"deadlock": 2,
|
||||||
|
"ch_forktray": 3,
|
||||||
|
"forktray_changet": 4,
|
||||||
|
"channel_insert": 5,
|
||||||
|
"[": 49,
|
||||||
|
"]": 48,
|
||||||
|
"cleaner_wash": 3,
|
||||||
|
"fork_get_num": 4,
|
||||||
|
"cleaner_return": 4,
|
||||||
|
"ch": 7,
|
||||||
|
"cleaner_loop": 6,
|
||||||
|
"f0": 3,
|
||||||
|
"dynload": 3,
|
||||||
|
"local": 10,
|
||||||
|
"mythread_create_cloptr": 6,
|
||||||
|
"llam": 6,
|
||||||
|
"while": 1,
|
||||||
|
"true": 5,
|
||||||
|
"%": 7,
|
||||||
|
"#": 7,
|
||||||
|
"#define": 4,
|
||||||
|
"nphil": 13,
|
||||||
|
"natLt": 2,
|
||||||
|
"absvtype": 2,
|
||||||
|
"fork_vtype": 3,
|
||||||
|
"ptr": 2,
|
||||||
|
"vtypedef": 2,
|
||||||
|
"fork": 16,
|
||||||
|
"channel": 11,
|
||||||
|
"datavtype": 1,
|
||||||
|
"FORK": 3,
|
||||||
|
"assume": 2,
|
||||||
|
"the_forkarray": 2,
|
||||||
|
"t": 1,
|
||||||
|
"array_tabulate": 1,
|
||||||
|
"fopr": 1,
|
||||||
|
"<t>": 2,
|
||||||
|
"where": 6,
|
||||||
|
"channel_create_exn": 2,
|
||||||
|
"<fork>": 2,
|
||||||
|
"i2sz": 4,
|
||||||
|
"arrayref_tabulate": 1,
|
||||||
|
"the_forktray": 2,
|
||||||
|
"set_vtype": 3,
|
||||||
|
"t@ype": 2,
|
||||||
|
"set": 34,
|
||||||
|
"t0p": 31,
|
||||||
|
"compare_elt_elt": 4,
|
||||||
|
"x1": 1,
|
||||||
|
"x2": 1,
|
||||||
|
"<": 14,
|
||||||
|
"linset_nil": 2,
|
||||||
|
"linset_make_nil": 2,
|
||||||
|
"linset_sing": 2,
|
||||||
|
"<!wrt>": 16,
|
||||||
|
"linset_make_sing": 2,
|
||||||
|
"linset_make_list": 1,
|
||||||
|
"List": 1,
|
||||||
|
"INV": 24,
|
||||||
|
"linset_is_nil": 2,
|
||||||
|
"linset_isnot_nil": 2,
|
||||||
|
"linset_size": 2,
|
||||||
|
"size_t": 1,
|
||||||
|
"linset_is_member": 3,
|
||||||
|
"x0": 22,
|
||||||
|
"linset_isnot_member": 1,
|
||||||
|
"linset_copy": 2,
|
||||||
|
"linset_free": 2,
|
||||||
|
"linset_insert": 3,
|
||||||
|
"&": 17,
|
||||||
|
"linset_takeout": 1,
|
||||||
|
"res": 9,
|
||||||
|
"opt": 6,
|
||||||
|
"endfun": 1,
|
||||||
|
"linset_takeout_opt": 1,
|
||||||
|
"Option_vt": 4,
|
||||||
|
"linset_remove": 2,
|
||||||
|
"linset_choose": 3,
|
||||||
|
"linset_choose_opt": 1,
|
||||||
|
"linset_takeoutmax": 1,
|
||||||
|
"linset_takeoutmax_opt": 1,
|
||||||
|
"linset_takeoutmin": 1,
|
||||||
|
"linset_takeoutmin_opt": 1,
|
||||||
|
"fprint_linset": 3,
|
||||||
|
"sep": 1,
|
||||||
|
"FILEref": 2,
|
||||||
|
"overload": 1,
|
||||||
|
"with": 1,
|
||||||
|
"env": 11,
|
||||||
|
"vt0p": 2,
|
||||||
|
"linset_foreach": 3,
|
||||||
|
"fwork": 3,
|
||||||
|
"linset_foreach_env": 3,
|
||||||
|
"linset_listize": 2,
|
||||||
|
"List0_vt": 5,
|
||||||
|
"linset_listize1": 2,
|
||||||
|
"code": 6,
|
||||||
|
"reuse": 2,
|
||||||
|
"elt": 2,
|
||||||
|
"list_vt_nil": 16,
|
||||||
|
"list_vt_cons": 17,
|
||||||
|
"list_vt_is_nil": 1,
|
||||||
|
"list_vt_is_cons": 1,
|
||||||
|
"list_vt_length": 1,
|
||||||
|
"aux": 4,
|
||||||
|
"nat": 4,
|
||||||
|
".": 14,
|
||||||
|
"<n>": 3,
|
||||||
|
"list_vt": 7,
|
||||||
|
"sgn": 9,
|
||||||
|
"false": 6,
|
||||||
|
"list_vt_copy": 2,
|
||||||
|
"list_vt_free": 1,
|
||||||
|
"mynode_cons": 4,
|
||||||
|
"nx": 22,
|
||||||
|
"mynode1": 6,
|
||||||
|
"xs1": 15,
|
||||||
|
"UN.castvwtp0": 8,
|
||||||
|
"List1_vt": 5,
|
||||||
|
"@list_vt_cons": 5,
|
||||||
|
"xs2": 3,
|
||||||
|
"prval": 20,
|
||||||
|
"UN.cast2void": 5,
|
||||||
|
";": 4,
|
||||||
|
"fold@": 8,
|
||||||
|
"ins": 3,
|
||||||
|
"tail": 1,
|
||||||
|
"recursive": 1,
|
||||||
|
"n1": 4,
|
||||||
|
"<=>": 1,
|
||||||
|
"1": 3,
|
||||||
|
"mynode_make_elt": 4,
|
||||||
|
"ans": 2,
|
||||||
|
"is": 26,
|
||||||
|
"found": 1,
|
||||||
|
"effmask_all": 3,
|
||||||
|
"free@": 1,
|
||||||
|
"xs1_": 3,
|
||||||
|
"rem": 1,
|
||||||
|
"*": 2,
|
||||||
|
"opt_some": 1,
|
||||||
|
"opt_none": 1,
|
||||||
|
"list_vt_foreach": 1,
|
||||||
|
"<env>": 3,
|
||||||
|
"list_vt_foreach_env": 1,
|
||||||
|
"mynode_null": 5,
|
||||||
|
"mynode": 3,
|
||||||
|
"null": 1,
|
||||||
|
"the_null_ptr": 1,
|
||||||
|
"mynode_free": 1,
|
||||||
|
"nx2": 4,
|
||||||
|
"mynode_get_elt": 1,
|
||||||
|
"nx1": 7,
|
||||||
|
"UN.castvwtp1": 2,
|
||||||
|
"mynode_set_elt": 1,
|
||||||
|
"l": 3,
|
||||||
|
"__assert": 2,
|
||||||
|
"praxi": 1,
|
||||||
|
"mynode_getfree_elt": 1,
|
||||||
|
"linset_takeout_ngc": 2,
|
||||||
|
"takeout": 3,
|
||||||
|
"mynode0": 1,
|
||||||
|
"pf_x": 6,
|
||||||
|
"view@x": 3,
|
||||||
|
"pf_xs1": 6,
|
||||||
|
"view@xs1": 3,
|
||||||
|
"linset_takeoutmax_ngc": 2,
|
||||||
|
"xs_": 4,
|
||||||
|
"@list_vt_nil": 1,
|
||||||
|
"linset_takeoutmin_ngc": 2,
|
||||||
|
"unsnoc": 4,
|
||||||
|
"pos": 1,
|
||||||
|
"and": 10,
|
||||||
|
"fold@xs": 1,
|
||||||
|
"ATS_PACKNAME": 1,
|
||||||
|
"ATS_STALOADFLAG": 1,
|
||||||
|
"no": 2,
|
||||||
|
"static": 1,
|
||||||
|
"loading": 1,
|
||||||
|
"at": 2,
|
||||||
|
"run": 1,
|
||||||
|
"time": 1,
|
||||||
|
"castfn": 1,
|
||||||
|
"linset2list": 1,
|
||||||
|
"<!DOCTYPE>": 1,
|
||||||
|
"html": 1,
|
||||||
|
"PUBLIC": 1,
|
||||||
|
"W3C": 1,
|
||||||
|
"DTD": 2,
|
||||||
|
"XHTML": 1,
|
||||||
|
"EN": 1,
|
||||||
|
"http": 2,
|
||||||
|
"www": 1,
|
||||||
|
"w3": 1,
|
||||||
|
"org": 1,
|
||||||
|
"TR": 1,
|
||||||
|
"xhtml11": 2,
|
||||||
|
"dtd": 1,
|
||||||
|
"<html>": 1,
|
||||||
|
"xmlns=": 1,
|
||||||
|
"<head>": 1,
|
||||||
|
"<meta>": 1,
|
||||||
|
"equiv=": 1,
|
||||||
|
"content=": 1,
|
||||||
|
"<title>": 1,
|
||||||
|
"EFFECTIVATS": 1,
|
||||||
|
"DiningPhil2": 1,
|
||||||
|
"</title>": 1,
|
||||||
|
"#patscode_style": 1,
|
||||||
|
"</head>": 1,
|
||||||
|
"<body>": 1,
|
||||||
|
"<h1>": 1,
|
||||||
|
"Effective": 1,
|
||||||
|
"ATS": 2,
|
||||||
|
"Dining": 2,
|
||||||
|
"Philosophers": 2,
|
||||||
|
"</h1>": 1,
|
||||||
|
"In": 2,
|
||||||
|
"this": 2,
|
||||||
|
"article": 2,
|
||||||
|
"present": 1,
|
||||||
|
"an": 6,
|
||||||
|
"implementation": 3,
|
||||||
|
"slight": 1,
|
||||||
|
"variant": 1,
|
||||||
|
"the": 30,
|
||||||
|
"famous": 1,
|
||||||
|
"problem": 1,
|
||||||
|
"by": 4,
|
||||||
|
"Dijkstra": 1,
|
||||||
|
"that": 8,
|
||||||
|
"makes": 1,
|
||||||
|
"simple": 1,
|
||||||
|
"but": 1,
|
||||||
|
"convincing": 1,
|
||||||
|
"use": 1,
|
||||||
|
"linear": 2,
|
||||||
|
"types.": 1,
|
||||||
|
"<h2>": 8,
|
||||||
|
"The": 8,
|
||||||
|
"Original": 2,
|
||||||
|
"Problem": 2,
|
||||||
|
"</h2>": 8,
|
||||||
|
"There": 3,
|
||||||
|
"are": 7,
|
||||||
|
"five": 1,
|
||||||
|
"philosophers": 1,
|
||||||
|
"sitting": 1,
|
||||||
|
"around": 1,
|
||||||
|
"table": 3,
|
||||||
|
"there": 3,
|
||||||
|
"also": 3,
|
||||||
|
"forks": 7,
|
||||||
|
"placed": 1,
|
||||||
|
"on": 8,
|
||||||
|
"such": 1,
|
||||||
|
"each": 2,
|
||||||
|
"located": 2,
|
||||||
|
"between": 1,
|
||||||
|
"left": 3,
|
||||||
|
"hand": 6,
|
||||||
|
"philosopher": 5,
|
||||||
|
"right": 3,
|
||||||
|
"another": 1,
|
||||||
|
"philosopher.": 1,
|
||||||
|
"Each": 4,
|
||||||
|
"does": 1,
|
||||||
|
"following": 6,
|
||||||
|
"routine": 1,
|
||||||
|
"repeatedly": 1,
|
||||||
|
"thinking": 1,
|
||||||
|
"dining.": 1,
|
||||||
|
"order": 1,
|
||||||
|
"dine": 1,
|
||||||
|
"needs": 2,
|
||||||
|
"first": 2,
|
||||||
|
"acquire": 1,
|
||||||
|
"two": 3,
|
||||||
|
"one": 3,
|
||||||
|
"his": 4,
|
||||||
|
"side": 2,
|
||||||
|
"other": 2,
|
||||||
|
"side.": 2,
|
||||||
|
"After": 2,
|
||||||
|
"finishing": 1,
|
||||||
|
"dining": 1,
|
||||||
|
"puts": 2,
|
||||||
|
"acquired": 1,
|
||||||
|
"onto": 1,
|
||||||
|
"A": 6,
|
||||||
|
"Variant": 1,
|
||||||
|
"twist": 1,
|
||||||
|
"added": 1,
|
||||||
|
"original": 1,
|
||||||
|
"version": 1,
|
||||||
|
"<p>": 1,
|
||||||
|
"used": 1,
|
||||||
|
"it": 2,
|
||||||
|
"becomes": 1,
|
||||||
|
"be": 9,
|
||||||
|
"put": 1,
|
||||||
|
"tray": 2,
|
||||||
|
"for": 15,
|
||||||
|
"dirty": 2,
|
||||||
|
"forks.": 1,
|
||||||
|
"cleaner": 2,
|
||||||
|
"who": 1,
|
||||||
|
"cleans": 1,
|
||||||
|
"them": 2,
|
||||||
|
"back": 1,
|
||||||
|
"table.": 1,
|
||||||
|
"Channels": 1,
|
||||||
|
"Communication": 1,
|
||||||
|
"just": 1,
|
||||||
|
"shared": 1,
|
||||||
|
"queue": 1,
|
||||||
|
"fixed": 1,
|
||||||
|
"capacity.": 1,
|
||||||
|
"functions": 1,
|
||||||
|
"inserting": 1,
|
||||||
|
"element": 5,
|
||||||
|
"into": 3,
|
||||||
|
"taking": 1,
|
||||||
|
"given": 4,
|
||||||
|
"<pre>": 7,
|
||||||
|
"class=": 6,
|
||||||
|
"#pats2xhtml_sats": 3,
|
||||||
|
"</pre>": 7,
|
||||||
|
"If": 2,
|
||||||
|
"called": 2,
|
||||||
|
"full": 4,
|
||||||
|
"caller": 2,
|
||||||
|
"blocked": 3,
|
||||||
|
"until": 2,
|
||||||
|
"taken": 1,
|
||||||
|
"channel.": 2,
|
||||||
|
"empty": 1,
|
||||||
|
"inserted": 1,
|
||||||
|
"Channel": 2,
|
||||||
|
"Fork": 3,
|
||||||
|
"Forks": 1,
|
||||||
|
"resources": 1,
|
||||||
|
"type.": 1,
|
||||||
|
"initially": 1,
|
||||||
|
"stored": 2,
|
||||||
|
"which": 2,
|
||||||
|
"can": 4,
|
||||||
|
"obtained": 2,
|
||||||
|
"calling": 2,
|
||||||
|
"function": 3,
|
||||||
|
"defined": 1,
|
||||||
|
"natural": 1,
|
||||||
|
"numbers": 1,
|
||||||
|
"less": 1,
|
||||||
|
"than": 1,
|
||||||
|
"channels": 4,
|
||||||
|
"storing": 3,
|
||||||
|
"chosen": 3,
|
||||||
|
"capacity": 3,
|
||||||
|
"reason": 1,
|
||||||
|
"store": 1,
|
||||||
|
"most": 1,
|
||||||
|
"guarantee": 1,
|
||||||
|
"these": 1,
|
||||||
|
"never": 2,
|
||||||
|
"so": 2,
|
||||||
|
"attempt": 1,
|
||||||
|
"made": 1,
|
||||||
|
"send": 1,
|
||||||
|
"signals": 1,
|
||||||
|
"awake": 1,
|
||||||
|
"callers": 1,
|
||||||
|
"supposedly": 1,
|
||||||
|
"being": 2,
|
||||||
|
"due": 1,
|
||||||
|
"Tray": 1,
|
||||||
|
"instead": 1,
|
||||||
|
"become": 1,
|
||||||
|
"as": 4,
|
||||||
|
"only": 1,
|
||||||
|
"total": 1,
|
||||||
|
"Philosopher": 1,
|
||||||
|
"Loop": 2,
|
||||||
|
"implemented": 2,
|
||||||
|
"loop": 2,
|
||||||
|
"#pats2xhtml_dats": 3,
|
||||||
|
"It": 2,
|
||||||
|
"should": 3,
|
||||||
|
"straighforward": 2,
|
||||||
|
"follow": 2,
|
||||||
|
"Cleaner": 1,
|
||||||
|
"finds": 1,
|
||||||
|
"number": 2,
|
||||||
|
"uses": 1,
|
||||||
|
"locate": 1,
|
||||||
|
"fork.": 1,
|
||||||
|
"Its": 1,
|
||||||
|
"actual": 1,
|
||||||
|
"follows": 1,
|
||||||
|
"now": 1,
|
||||||
|
"Testing": 1,
|
||||||
|
"entire": 1,
|
||||||
|
"files": 1,
|
||||||
|
"DiningPhil2.sats": 1,
|
||||||
|
"DiningPhil2.dats": 1,
|
||||||
|
"DiningPhil2_fork.dats": 1,
|
||||||
|
"DiningPhil2_thread.dats": 1,
|
||||||
|
"Makefile": 1,
|
||||||
|
"available": 1,
|
||||||
|
"compiling": 1,
|
||||||
|
"source": 1,
|
||||||
|
"excutable": 1,
|
||||||
|
"testing.": 1,
|
||||||
|
"One": 1,
|
||||||
|
"able": 1,
|
||||||
|
"encounter": 1,
|
||||||
|
"after": 1,
|
||||||
|
"running": 1,
|
||||||
|
"simulation": 1,
|
||||||
|
"while.": 1,
|
||||||
|
"<hr>": 1,
|
||||||
|
"size=": 1,
|
||||||
|
"This": 1,
|
||||||
|
"written": 1,
|
||||||
|
"href=": 1,
|
||||||
|
"Hongwei": 1,
|
||||||
|
"Xi": 1,
|
||||||
|
"</a>": 1,
|
||||||
|
"</body>": 1,
|
||||||
|
"</html>": 1,
|
||||||
|
"main": 1,
|
||||||
|
"fprint_filsub": 1,
|
||||||
|
"option0": 3,
|
||||||
|
"functor_option0": 2,
|
||||||
|
"option0_map": 1,
|
||||||
|
"functor_homres": 2,
|
||||||
|
"c": 3,
|
||||||
|
"Yoneda_phi": 3,
|
||||||
|
"Yoneda_psi": 3,
|
||||||
|
"m": 4,
|
||||||
|
"mf": 4,
|
||||||
|
"natrans": 3,
|
||||||
|
"G": 2,
|
||||||
|
"Yoneda_phi_nat": 2,
|
||||||
|
"Yoneda_psi_nat": 2,
|
||||||
|
"list_t": 1,
|
||||||
|
"g0ofg1_list": 1,
|
||||||
|
"Yoneda_bool_list0": 3,
|
||||||
|
"myboolist1": 2
|
||||||
|
},
|
||||||
"AutoHotkey": {
|
"AutoHotkey": {
|
||||||
"MsgBox": 1,
|
"MsgBox": 1,
|
||||||
"Hello": 1,
|
"Hello": 1,
|
||||||
@@ -2961,7 +3531,7 @@
|
|||||||
"buttons": 1
|
"buttons": 1
|
||||||
},
|
},
|
||||||
"C": {
|
"C": {
|
||||||
"#include": 152,
|
"#include": 154,
|
||||||
"const": 358,
|
"const": 358,
|
||||||
"char": 530,
|
"char": 530,
|
||||||
"*blob_type": 2,
|
"*blob_type": 2,
|
||||||
@@ -2969,10 +3539,10 @@
|
|||||||
"struct": 360,
|
"struct": 360,
|
||||||
"blob": 6,
|
"blob": 6,
|
||||||
"*lookup_blob": 2,
|
"*lookup_blob": 2,
|
||||||
"(": 6238,
|
"(": 6243,
|
||||||
"unsigned": 140,
|
"unsigned": 140,
|
||||||
"*sha1": 16,
|
"*sha1": 16,
|
||||||
")": 6240,
|
")": 6245,
|
||||||
"{": 1531,
|
"{": 1531,
|
||||||
"object": 41,
|
"object": 41,
|
||||||
"*obj": 9,
|
"*obj": 9,
|
||||||
@@ -3001,11 +3571,11 @@
|
|||||||
"size": 120,
|
"size": 120,
|
||||||
"item": 24,
|
"item": 24,
|
||||||
"object.parsed": 4,
|
"object.parsed": 4,
|
||||||
"#ifndef": 87,
|
"#ifndef": 89,
|
||||||
"BLOB_H": 2,
|
"BLOB_H": 2,
|
||||||
"#define": 913,
|
"#define": 920,
|
||||||
"extern": 38,
|
"extern": 38,
|
||||||
"#endif": 241,
|
"#endif": 243,
|
||||||
"BOOTSTRAP_H": 2,
|
"BOOTSTRAP_H": 2,
|
||||||
"<stdio.h>": 8,
|
"<stdio.h>": 8,
|
||||||
"__GNUC__": 8,
|
"__GNUC__": 8,
|
||||||
@@ -3086,7 +3656,7 @@
|
|||||||
"hash": 12,
|
"hash": 12,
|
||||||
"*node": 2,
|
"*node": 2,
|
||||||
"*result": 1,
|
"*result": 1,
|
||||||
"memcpy": 34,
|
"memcpy": 35,
|
||||||
"oid": 17,
|
"oid": 17,
|
||||||
"id": 13,
|
"id": 13,
|
||||||
"git_mutex_lock": 2,
|
"git_mutex_lock": 2,
|
||||||
@@ -3885,6 +4455,13 @@
|
|||||||
"diff_delta__merge_like_cgit": 1,
|
"diff_delta__merge_like_cgit": 1,
|
||||||
"git_vector_swap": 1,
|
"git_vector_swap": 1,
|
||||||
"git_pool_swap": 1,
|
"git_pool_swap": 1,
|
||||||
|
"ATSHOME_LIBATS_DYNARRAY_CATS": 3,
|
||||||
|
"<string.h>": 5,
|
||||||
|
"atslib_dynarray_memcpy": 1,
|
||||||
|
"atslib_dynarray_memmove": 1,
|
||||||
|
"memmove": 2,
|
||||||
|
"//": 262,
|
||||||
|
"ifndef": 2,
|
||||||
"git_usage_string": 2,
|
"git_usage_string": 2,
|
||||||
"git_more_info_string": 2,
|
"git_more_info_string": 2,
|
||||||
"N_": 1,
|
"N_": 1,
|
||||||
@@ -4121,7 +4698,6 @@
|
|||||||
"<stddef.h>": 2,
|
"<stddef.h>": 2,
|
||||||
"<ctype.h>": 3,
|
"<ctype.h>": 3,
|
||||||
"<stdlib.h>": 3,
|
"<stdlib.h>": 3,
|
||||||
"<string.h>": 4,
|
|
||||||
"<limits.h>": 2,
|
"<limits.h>": 2,
|
||||||
"ULLONG_MAX": 10,
|
"ULLONG_MAX": 10,
|
||||||
"MIN": 3,
|
"MIN": 3,
|
||||||
@@ -4817,6 +5393,15 @@
|
|||||||
"rb_define_class": 1,
|
"rb_define_class": 1,
|
||||||
"rb_cObject": 1,
|
"rb_cObject": 1,
|
||||||
"rb_define_method": 2,
|
"rb_define_method": 2,
|
||||||
|
"READLINE_READLINE_CATS": 3,
|
||||||
|
"<readline/readline.h>": 1,
|
||||||
|
"atscntrb_readline_rl_library_version": 1,
|
||||||
|
"char*": 167,
|
||||||
|
"rl_library_version": 1,
|
||||||
|
"atscntrb_readline_rl_readline_version": 1,
|
||||||
|
"rl_readline_version": 1,
|
||||||
|
"atscntrb_readline_readline": 1,
|
||||||
|
"readline": 1,
|
||||||
"<time.h>": 1,
|
"<time.h>": 1,
|
||||||
"<signal.h>": 1,
|
"<signal.h>": 1,
|
||||||
"<stdarg.h>": 1,
|
"<stdarg.h>": 1,
|
||||||
@@ -5072,7 +5657,6 @@
|
|||||||
"key": 9,
|
"key": 9,
|
||||||
"dictGenHashFunction": 5,
|
"dictGenHashFunction": 5,
|
||||||
"dictSdsHash": 4,
|
"dictSdsHash": 4,
|
||||||
"char*": 166,
|
|
||||||
"dictSdsCaseHash": 2,
|
"dictSdsCaseHash": 2,
|
||||||
"dictGenCaseHashFunction": 1,
|
"dictGenCaseHashFunction": 1,
|
||||||
"dictEncObjKeyCompare": 4,
|
"dictEncObjKeyCompare": 4,
|
||||||
@@ -5695,7 +6279,6 @@
|
|||||||
"<rf_io.h>": 1,
|
"<rf_io.h>": 1,
|
||||||
"<rf_utils.h>": 2,
|
"<rf_utils.h>": 2,
|
||||||
"<String/rfc_string.h>": 2,
|
"<String/rfc_string.h>": 2,
|
||||||
"//": 257,
|
|
||||||
"rfUTF8_IsContinuationbyte": 1,
|
"rfUTF8_IsContinuationbyte": 1,
|
||||||
"e.t.c.": 1,
|
"e.t.c.": 1,
|
||||||
"rfFReadLine_UTF8": 5,
|
"rfFReadLine_UTF8": 5,
|
||||||
@@ -6172,7 +6755,6 @@
|
|||||||
"use": 1,
|
"use": 1,
|
||||||
"determine": 1,
|
"determine": 1,
|
||||||
"backs": 1,
|
"backs": 1,
|
||||||
"memmove": 1,
|
|
||||||
"by": 1,
|
"by": 1,
|
||||||
"contiuing": 1,
|
"contiuing": 1,
|
||||||
"make": 3,
|
"make": 3,
|
||||||
@@ -12715,6 +13297,43 @@
|
|||||||
"<=>": 1,
|
"<=>": 1,
|
||||||
"other.name": 1
|
"other.name": 1
|
||||||
},
|
},
|
||||||
|
"Cirru": {
|
||||||
|
"print": 38,
|
||||||
|
"array": 14,
|
||||||
|
"int": 36,
|
||||||
|
"string": 7,
|
||||||
|
"set": 12,
|
||||||
|
"f": 3,
|
||||||
|
"block": 1,
|
||||||
|
"(": 20,
|
||||||
|
"a": 22,
|
||||||
|
"b": 7,
|
||||||
|
"c": 9,
|
||||||
|
")": 20,
|
||||||
|
"call": 1,
|
||||||
|
"bool": 6,
|
||||||
|
"true": 1,
|
||||||
|
"false": 1,
|
||||||
|
"yes": 1,
|
||||||
|
"no": 1,
|
||||||
|
"map": 8,
|
||||||
|
"m": 3,
|
||||||
|
"float": 1,
|
||||||
|
"require": 1,
|
||||||
|
"./stdio.cr": 1,
|
||||||
|
"self": 2,
|
||||||
|
"child": 1,
|
||||||
|
"under": 2,
|
||||||
|
"parent": 1,
|
||||||
|
"get": 4,
|
||||||
|
"x": 2,
|
||||||
|
"just": 4,
|
||||||
|
"-": 4,
|
||||||
|
"code": 4,
|
||||||
|
"eval": 2,
|
||||||
|
"nothing": 1,
|
||||||
|
"container": 3
|
||||||
|
},
|
||||||
"Clojure": {
|
"Clojure": {
|
||||||
"(": 83,
|
"(": 83,
|
||||||
"defn": 4,
|
"defn": 4,
|
||||||
@@ -25467,6 +26086,13 @@
|
|||||||
"type": 1,
|
"type": 1,
|
||||||
"url": 1
|
"url": 1
|
||||||
},
|
},
|
||||||
|
"JSONLD": {
|
||||||
|
"{": 7,
|
||||||
|
"}": 7,
|
||||||
|
"[": 1,
|
||||||
|
"null": 2,
|
||||||
|
"]": 1
|
||||||
|
},
|
||||||
"Julia": {
|
"Julia": {
|
||||||
"##": 5,
|
"##": 5,
|
||||||
"Test": 1,
|
"Test": 1,
|
||||||
@@ -39026,12 +39652,56 @@
|
|||||||
"TWO_PI": 1
|
"TWO_PI": 1
|
||||||
},
|
},
|
||||||
"Prolog": {
|
"Prolog": {
|
||||||
"-": 38,
|
"-": 52,
|
||||||
|
"lib": 1,
|
||||||
|
"(": 49,
|
||||||
|
"ic": 1,
|
||||||
|
")": 49,
|
||||||
|
".": 25,
|
||||||
|
"vabs": 2,
|
||||||
|
"Val": 8,
|
||||||
|
"AbsVal": 10,
|
||||||
|
"#": 9,
|
||||||
|
";": 1,
|
||||||
|
"labeling": 2,
|
||||||
|
"[": 21,
|
||||||
|
"]": 21,
|
||||||
|
"vabsIC": 1,
|
||||||
|
"or": 1,
|
||||||
|
"faitListe": 3,
|
||||||
|
"_": 2,
|
||||||
|
"First": 2,
|
||||||
|
"|": 12,
|
||||||
|
"Rest": 6,
|
||||||
|
"Taille": 2,
|
||||||
|
"Min": 2,
|
||||||
|
"Max": 2,
|
||||||
|
"Min..Max": 1,
|
||||||
|
"Taille1": 2,
|
||||||
|
"suite": 3,
|
||||||
|
"Xi": 5,
|
||||||
|
"Xi1": 7,
|
||||||
|
"Xi2": 7,
|
||||||
|
"checkRelation": 3,
|
||||||
|
"VabsXi1": 2,
|
||||||
|
"Xi.": 1,
|
||||||
|
"checkPeriode": 3,
|
||||||
|
"ListVar": 2,
|
||||||
|
"length": 1,
|
||||||
|
"Length": 2,
|
||||||
|
"<": 1,
|
||||||
|
"X1": 2,
|
||||||
|
"X2": 2,
|
||||||
|
"X3": 2,
|
||||||
|
"X4": 2,
|
||||||
|
"X5": 2,
|
||||||
|
"X6": 2,
|
||||||
|
"X7": 2,
|
||||||
|
"X8": 2,
|
||||||
|
"X9": 2,
|
||||||
|
"X10": 3,
|
||||||
"male": 3,
|
"male": 3,
|
||||||
"(": 29,
|
|
||||||
"john": 2,
|
"john": 2,
|
||||||
")": 29,
|
|
||||||
".": 17,
|
|
||||||
"peter": 3,
|
"peter": 3,
|
||||||
"female": 2,
|
"female": 2,
|
||||||
"vick": 2,
|
"vick": 2,
|
||||||
@@ -39047,8 +39717,6 @@
|
|||||||
"Tape": 2,
|
"Tape": 2,
|
||||||
"perform": 4,
|
"perform": 4,
|
||||||
"q0": 1,
|
"q0": 1,
|
||||||
"[": 12,
|
|
||||||
"]": 12,
|
|
||||||
"Ls": 12,
|
"Ls": 12,
|
||||||
"Rs": 16,
|
"Rs": 16,
|
||||||
"reverse": 1,
|
"reverse": 1,
|
||||||
@@ -39067,7 +39735,6 @@
|
|||||||
"NewSym": 2,
|
"NewSym": 2,
|
||||||
"Action": 2,
|
"Action": 2,
|
||||||
"action": 4,
|
"action": 4,
|
||||||
"|": 7,
|
|
||||||
"Rs1": 2,
|
"Rs1": 2,
|
||||||
"b": 2,
|
"b": 2,
|
||||||
"left": 4,
|
"left": 4,
|
||||||
@@ -40070,9 +40737,9 @@
|
|||||||
"<": 12,
|
"<": 12,
|
||||||
"-": 12,
|
"-": 12,
|
||||||
"function": 3,
|
"function": 3,
|
||||||
"(": 28,
|
"(": 29,
|
||||||
"lines": 4,
|
"lines": 4,
|
||||||
")": 28,
|
")": 29,
|
||||||
"{": 3,
|
"{": 3,
|
||||||
"dates": 3,
|
"dates": 3,
|
||||||
"matrix": 2,
|
"matrix": 2,
|
||||||
@@ -40082,8 +40749,8 @@
|
|||||||
"byrow": 2,
|
"byrow": 2,
|
||||||
"TRUE": 3,
|
"TRUE": 3,
|
||||||
"days": 2,
|
"days": 2,
|
||||||
"[": 3,
|
"[": 4,
|
||||||
"]": 3,
|
"]": 4,
|
||||||
"times": 2,
|
"times": 2,
|
||||||
"hours": 2,
|
"hours": 2,
|
||||||
"all.days": 2,
|
"all.days": 2,
|
||||||
@@ -40118,7 +40785,22 @@
|
|||||||
"width": 1,
|
"width": 1,
|
||||||
"height": 1,
|
"height": 1,
|
||||||
"hello": 2,
|
"hello": 2,
|
||||||
"print": 1
|
"print": 1,
|
||||||
|
"##polyg": 1,
|
||||||
|
"vector": 2,
|
||||||
|
"##numpoints": 1,
|
||||||
|
"number": 1,
|
||||||
|
"##output": 1,
|
||||||
|
"output": 1,
|
||||||
|
"##": 1,
|
||||||
|
"Example": 1,
|
||||||
|
"scripts": 1,
|
||||||
|
"group": 1,
|
||||||
|
"pts": 1,
|
||||||
|
"spsample": 1,
|
||||||
|
"polyg": 1,
|
||||||
|
"numpoints": 1,
|
||||||
|
"type": 1
|
||||||
},
|
},
|
||||||
"Racket": {
|
"Racket": {
|
||||||
";": 3,
|
";": 3,
|
||||||
@@ -47790,15 +48472,17 @@
|
|||||||
"AppleScript": 1862,
|
"AppleScript": 1862,
|
||||||
"Arduino": 20,
|
"Arduino": 20,
|
||||||
"AsciiDoc": 103,
|
"AsciiDoc": 103,
|
||||||
|
"ATS": 4558,
|
||||||
"AutoHotkey": 3,
|
"AutoHotkey": 3,
|
||||||
"Awk": 544,
|
"Awk": 544,
|
||||||
"BlitzBasic": 2065,
|
"BlitzBasic": 2065,
|
||||||
"Bluespec": 1298,
|
"Bluespec": 1298,
|
||||||
"Brightscript": 579,
|
"Brightscript": 579,
|
||||||
"C": 59004,
|
"C": 59053,
|
||||||
"C#": 278,
|
"C#": 278,
|
||||||
"C++": 31181,
|
"C++": 31181,
|
||||||
"Ceylon": 50,
|
"Ceylon": 50,
|
||||||
|
"Cirru": 244,
|
||||||
"Clojure": 510,
|
"Clojure": 510,
|
||||||
"COBOL": 90,
|
"COBOL": 90,
|
||||||
"CoffeeScript": 2951,
|
"CoffeeScript": 2951,
|
||||||
@@ -47834,6 +48518,7 @@
|
|||||||
"JavaScript": 76934,
|
"JavaScript": 76934,
|
||||||
"JSON": 183,
|
"JSON": 183,
|
||||||
"JSON5": 57,
|
"JSON5": 57,
|
||||||
|
"JSONLD": 18,
|
||||||
"Julia": 247,
|
"Julia": 247,
|
||||||
"Kotlin": 155,
|
"Kotlin": 155,
|
||||||
"KRL": 25,
|
"KRL": 25,
|
||||||
@@ -47880,10 +48565,10 @@
|
|||||||
"PostScript": 107,
|
"PostScript": 107,
|
||||||
"PowerShell": 12,
|
"PowerShell": 12,
|
||||||
"Processing": 74,
|
"Processing": 74,
|
||||||
"Prolog": 267,
|
"Prolog": 468,
|
||||||
"Protocol Buffer": 63,
|
"Protocol Buffer": 63,
|
||||||
"Python": 5715,
|
"Python": 5715,
|
||||||
"R": 175,
|
"R": 195,
|
||||||
"Racket": 331,
|
"Racket": 331,
|
||||||
"Ragel in Ruby Host": 593,
|
"Ragel in Ruby Host": 593,
|
||||||
"RDoc": 279,
|
"RDoc": 279,
|
||||||
@@ -47932,15 +48617,17 @@
|
|||||||
"AppleScript": 7,
|
"AppleScript": 7,
|
||||||
"Arduino": 1,
|
"Arduino": 1,
|
||||||
"AsciiDoc": 3,
|
"AsciiDoc": 3,
|
||||||
|
"ATS": 10,
|
||||||
"AutoHotkey": 1,
|
"AutoHotkey": 1,
|
||||||
"Awk": 1,
|
"Awk": 1,
|
||||||
"BlitzBasic": 3,
|
"BlitzBasic": 3,
|
||||||
"Bluespec": 2,
|
"Bluespec": 2,
|
||||||
"Brightscript": 1,
|
"Brightscript": 1,
|
||||||
"C": 27,
|
"C": 29,
|
||||||
"C#": 2,
|
"C#": 2,
|
||||||
"C++": 27,
|
"C++": 27,
|
||||||
"Ceylon": 1,
|
"Ceylon": 1,
|
||||||
|
"Cirru": 9,
|
||||||
"Clojure": 7,
|
"Clojure": 7,
|
||||||
"COBOL": 4,
|
"COBOL": 4,
|
||||||
"CoffeeScript": 9,
|
"CoffeeScript": 9,
|
||||||
@@ -47976,6 +48663,7 @@
|
|||||||
"JavaScript": 20,
|
"JavaScript": 20,
|
||||||
"JSON": 4,
|
"JSON": 4,
|
||||||
"JSON5": 2,
|
"JSON5": 2,
|
||||||
|
"JSONLD": 1,
|
||||||
"Julia": 1,
|
"Julia": 1,
|
||||||
"Kotlin": 1,
|
"Kotlin": 1,
|
||||||
"KRL": 1,
|
"KRL": 1,
|
||||||
@@ -48022,10 +48710,10 @@
|
|||||||
"PostScript": 1,
|
"PostScript": 1,
|
||||||
"PowerShell": 2,
|
"PowerShell": 2,
|
||||||
"Processing": 1,
|
"Processing": 1,
|
||||||
"Prolog": 2,
|
"Prolog": 3,
|
||||||
"Protocol Buffer": 1,
|
"Protocol Buffer": 1,
|
||||||
"Python": 7,
|
"Python": 7,
|
||||||
"R": 2,
|
"R": 3,
|
||||||
"Racket": 2,
|
"Racket": 2,
|
||||||
"Ragel in Ruby Host": 3,
|
"Ragel in Ruby Host": 3,
|
||||||
"RDoc": 1,
|
"RDoc": 1,
|
||||||
@@ -48066,5 +48754,5 @@
|
|||||||
"Xtend": 2,
|
"Xtend": 2,
|
||||||
"YAML": 1
|
"YAML": 1
|
||||||
},
|
},
|
||||||
"md5": "a46f14929a6e9e4356fda95beb035439"
|
"md5": "8815515b1699aba1650cc4e4b81587fd"
|
||||||
}
|
}
|
||||||
30
samples/JSONLD/sample.jsonld
Normal file
30
samples/JSONLD/sample.jsonld
Normal file
@@ -0,0 +1,30 @@
|
|||||||
|
{
|
||||||
|
"@context": {
|
||||||
|
"property": "http://example.com/vocab#property"
|
||||||
|
},
|
||||||
|
"@id": "../document-relative",
|
||||||
|
"@type": "#document-relative",
|
||||||
|
"property": {
|
||||||
|
"@context": {
|
||||||
|
"@base": "http://example.org/test/"
|
||||||
|
},
|
||||||
|
"@id": "../document-base-overwritten",
|
||||||
|
"@type": "#document-base-overwritten",
|
||||||
|
"property": [
|
||||||
|
{
|
||||||
|
"@context": null,
|
||||||
|
"@id": "../document-relative",
|
||||||
|
"@type": "#document-relative",
|
||||||
|
"property": "context completely reset, drops property"
|
||||||
|
},
|
||||||
|
{
|
||||||
|
"@context": {
|
||||||
|
"@base": null
|
||||||
|
},
|
||||||
|
"@id": "../document-relative",
|
||||||
|
"@type": "#document-relative",
|
||||||
|
"property": "only @base is cleared"
|
||||||
|
}
|
||||||
|
]
|
||||||
|
}
|
||||||
|
}
|
||||||
Reference in New Issue
Block a user