Skip to content

realglobe-Inc/azaltjson

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

55 Commits
LICENSE
LICENSE
 
 
Makefile
Makefile
 
 
README.md
README.md
 
 
azaltjson.c
azaltjson.c
 
 
azaltjson_plmodule.pl
azaltjson_plmodule.pl
 
 
test.pl
test.pl
 
 

Repository files navigation

README

azaltjsonは、AZ-PrologからJansson(JSONライブラリ)を利用するための拡張ライブラリである。 JSONとProlog項を相互変換できる。

必要なもの

  • AZ-Prolog >= 9.63 (system/pl/fs_utility.plの素性構造型操作のユーティリティ(コンパイル組込述語）を使用可能なもの)
  • Jansson
    • Ubuntuの場合: sudo apt-get install -y libjansson-dev
    • macOSの場合: brew install jansson

ビルドおよびインストール方法

  • Ubuntuの場合: make && make install
  • macOSの場合: make && make install_mac

使用例

簡単な使用例

| ?- dlib_require(azaltjson).
yes
| ?- json_term('{"aa":{"bb":[123,{"cc":"456","10":0.789}]}}', T).
T	= {aa:{bb:[123,{cc:'456','10':0.789}]}}
yes
| ?- term_json({aa:{bb:[123,{cc:'456','10':0.789}]}}, J).
J	= '{"aa": {"bb": [123, {"cc": "456", "10": 0.78900000000000003}]}}'
yes

オプション指定例

| ?- dlib_require(azaltjson).
yes
| ?-
| A = '{"aa":{"bb":[123,{"cc":"456","10":0.789}]}}',
| json_term({str2comp: true}, A, T),
| term_json({json_indent: 4, json_real_precision: 10}, T, J),
| write(J), nl.
{
    "aa": {
        "bb": [
            123,
            {
                "cc": "456",
                "10": 0.789
            }
        ]
    }
}
A	= '{"aa":{"bb":[123,{"cc":"456","10":0.789}]}}',
T	= {aa:{bb:[123,{cc:str([52,53,54]),'10':0.789}]}},
J	= '{(\n)    "aa": {(\n)        "bb": [(\n)            123,(\n)            {(\n)                "cc": "456",(\n)                "10": 0.789(\n)            }(\n)        ](\n)    }(\n)}'
yes

API

json_term(+JSON, -TERM)

json_term({}, JSON, TERM) と同等（省略形）

json_term(+OPTIONS, +JSON, -TERM)

JSON文字列をProlog項へ変換する。

  • OPTIONS: オプション指定
  • JSON: JSON文字列（アトムまたは文字コードリスト）
  • TERM: Prolog項

OPTIONSは素性構造で指定する。指定方法は以下のとおり。 未知のオプションは無視される。

素性項目名 設定型 デフォルト値 説明
input_atom true / false false 入力をアトムとする(true)か文字コードリストとする(false)かを指定する。
本オプションは入力が[]のみの場合の挙動にのみ影響を与える。
trueを指定した場合、パースエラーにならず空リストを返す。
falseを指定した場合は空文字列とみなされパースエラーとなる。
obj2comp true / false false trueを指定した場合、オブジェクトをobjファンクタによる複合項とする。
falseを指定した場合は素性構造とする。
str2comp true / false false trueを指定した場合、文字列をstrファンクタによる複合項とする。
falseを指定した場合はアトムとする。

JSON要素とProlog項の対応は以下のとおり。

JSON要素 Prolog項 備考
object 素性構造 obj2compが有効な場合、素性構造ではなく
obj([a:b, ...])形式の値ペアのリストを含むobjによる複合項となる
array リスト(＊1)  
string アトム(＊1)   str2compが有効な場合、アトムではなく
str([...])形式の文字コードリストを含むstrによる複合項となる
str2compが無効な場合、変換後に[] true false nullとstringの区別不可
number(整数) 整数
number(浮動小数点数) 浮動小数点数
true true (アトム)
false false (アトム)
null null (アトム)
  • ＊1: JSON要素としての空リスト[]は例外的に[](アトム)となる。

term_json(+TERM, -JSON)

term_json({}, TERM, JSON) と同等（省略形）

term_json(+OPTIONS, +TERM, -JSON)

Prolog項をJSON文字列へ変換する。

  • OPTIONS: オプション指定
  • TERM: Prolog項
  • JSON: JSON文字列（アトムまたは文字コードリスト）

OPTIONSは素性構造で指定する。指定方法は以下のとおり。 未知のオプションは無視される。

なお、json_で始まる項目のデフォルト値はJanssonの仕様に従う。

素性項目名 設定型 デフォルト値 説明
output_codes true / false false trueを指定した場合、結果JSONを文字コードリストとする。
falseを指定した場合はアトムとする。
json_indent 数値（0以上） 0 1以上を指定した場合、改行と指定個数の半角スペースを使って結果を見やすくインデント（字下げ）する。
0を指定した場合は改行およびインデントを行わない。
json_compact true / false false trueを指定した場合、JSON表現をコンパクトにする。
json_sort_keys true / false false trueを指定した場合、オブジェクト内の要素をキーでソートする。
json_escape_slash   true / false false trueを指定した場合、スラッシュ記号 / をエスケープ \/ する。
json_real_precision 数値（0以上） 17 最大で指定桁数の精度で浮動小数点数（整数以外の実数）を出力する。

Prolog項とJSON要素の対応は以下のとおり。

Prolog項 JSON要素 備考
素性構造 object
リスト (＊1) array
アトム ([] true false null 以外) (＊1) (＊2) string
整数 number(整数)
浮動小数点数 number(浮動小数点数)
true (アトム) true
false (アトム) false
null (アトム) null
obj([a:b, ...])形式の値ペアのリストを含むobjによる複合項 object
str([...])形式の文字コードリストを含むstrによる複合項 string
  • ＊1: [](アトム)は例外的に空リストとみなす。
  • ＊2: アトムから文字列として[] true false nullは指定できない。その場合はstr([...])形式の文字コードリストを含むstrによる複合項を用いる。

jsonfile_term(+JSON, -TERM)

jsonfile_term({}, JSON, TERM) と同等（省略形）

jsonfile_term(+OPTIONS, +JSON, -TERM)

JSONファイルを入力してProlog項へ変換する。

  • OPTIONS: オプション指定
  • JSON: JSONファイルパス（アトムまたは文字コードリスト）
  • TERM: Prolog項

詳細はjson_termと同様 （input_atomオプションは無視される）

term_jsonfile(+TERM, +JSON)

term_jsonfile({}, TERM, JSON) と同等（省略形）

term_jsonfile(+OPTIONS, +TERM, +JSON)

Prolog項をJSONファイルへ変換して出力する。

  • OPTIONS: オプション指定
  • TERM: Prolog項
  • JSON: JSONファイルパス（アトムまたは文字コードリスト）

詳細はterm_jsonと同様 （output_codesオプションは無視される）

JSONファイルパスに既にファイルが存在した場合は上書きされる。

azjsonとの比較

parse

azjson

| ?-
| json_parse('{"aa":{"bb":[123,{"cc":"456","10":0.789}]}}', T0),
| json_get_attribute(T0, aa, T1),
| json_get_attribute(T1, bb, [V0, T2]),
| json_get_attribute(T2, cc, V1),
| json_get_attribute(T2, '10', V2),
| json_free_object(T0).
T0	= '$JSON$'(11171440),
T1	= '$JSON$'(11171680),
V0	= 123,
T2	= '$JSON$'(11172064),
V1	= '456',
V2	= 0.789

azaltjson

| ?-
| json_term('{"aa":{"bb":[123,{"cc":"456","10":0.789}]}}', {aa:{bb:[V0,{cc:V1,'10':V2}]}}).
V0	= 123,
V1	= '456',
V2	= 0.789

属性が存在しない場合にfailするにはpvalue/3またはnonvar/1を用いる。

stringify

azjson

| ?-
| json_make_object(T2),
| json_set_attribute(T2, cc, '456'),
| json_set_attribute(T2, '10', 0.789),
| json_make_object(T1),
| json_set_attribute(T1, bb, [123, T2]),
| json_make_object(T0),
| json_set_attribute(T0, aa, T1),
| json_object_to_atom(T0, A),
| json_free_object(T0).
T2	= '$JSON$'(11171440),
T1	= '$JSON$'(11171680),
T0	= '$JSON$'(11172064),
A	= '{"aa": {"bb": [123, {"cc": "456", "10": 0.78900000000000003}]}}'

azaltjson

| ?-
| term_json({aa:{bb:[123,{cc:'456','10':0.789}]}}, A).
A	= '{"aa": {"bb": [123, {"cc": "456", "10": 0.78900000000000003}]}}'

kanji_mode毎の挙動

JSON文字列をProlog項へ

  • 入力のJSON文字列はアトムまたは1バイトずつ分かれている文字コードリストである必要がある。
  • str2compオプション指定時に生成される文字コードリストは1バイトずつ分かれる。
| ?- kanji_mode(_, on),  atom_codes('"マルチバイト"', C), json_term(C, T).
text:[unable to decode byte 0x9e near '"']
1:1:1, source:[<string>]
no
|
| ?- kanji_mode(_, off), atom_codes('"マルチバイト"', C), json_term(C, T).
_.4	= on,
C	= [34,227,131,158,227,131,171,227,131,129,227,131,144,227,130,164,227,131,136,34],
T	= マルチバイト
yes
|
| ?- kanji_mode(_, off),  atom_codes('"マルチバイト"', C), kanji_mode(_, on), json_term({str2comp: true}, C, T).
_.7	= off,
C	= [34,227,131,158,227,131,171,227,131,129,227,131,144,227,130,164,227,131,136,34],
_.8	= off,
T	= str([227,131,158,227,131,171,227,131,129,227,131,144,227,130,164,227,131,136])
yes

Prolog項をJSON文字列へ

  • 入力に含まれる文字コードリストは1バイトずつ分かれている必要がある。
  • output_codesオプション指定時に生成される文字コードリストは1バイトずつ分かれる。
| ?- kanji_mode(_, on),  atom_codes(マルチバイト, C), term_json(str(C), R).
no
|
| ?- kanji_mode(_, off),  atom_codes(マルチバイト, C), term_json(str(C), R).
_.4	= on,
C	= [227,131,158,227,131,171,227,131,129,227,131,144,227,130,164,227,131,136],
R	= '"マルチバイト"'
yes
|
| ?- kanji_mode(_, off),  atom_codes(マルチバイト, C), kanji_mode(_, on),  term_json({output_codes: true}, str(C), R).
_.7	= on,
C	= [227,131,158,227,131,171,227,131,129,227,131,144,227,130,164,227,131,136],
_.8	= off,
R	= [34,227,131,158,227,131,171,227,131,129,227,131,144,227,130,164,227,131,136,34]
yes

About

azaltjsonは、AZ-PrologからJansson(JSONライブラリ)を利用するための拡張ライブラリである。 JSONとProlog項を相互変換できる。

Topics

az-prolog

Resources

Readme

License

MIT license
Activity
Custom properties

Stars

2 stars

Watchers

8 watching

Forks

0 forks
Report repository

Releases 1

v1.0 Latest
Apr 2, 2018

Packages

 
 
 

Contributors

Languages