コード例 #1
0
ファイル: terms.py プロジェクト: paulfchristiano/pydwimmer
 def lines(self):
     return intern.get_all(self.id, [from_id])
コード例 #2
0
ファイル: terms.py プロジェクト: paulfchristiano/pydwimmer
 def from_id(cls, id):
     head, args = intern.get_all(id, from_id, [from_id])
     return cls(head, args)
コード例 #3
0
ファイル: terms.py プロジェクト: paulfchristiano/pydwimmer
 def from_id(cls, id):
     type, (args, indices) = intern.get_all(id, 0, ([from_id], [0]))
     return cls(type, args, indices)
コード例 #4
0
ファイル: terms.py プロジェクト: paulfchristiano/pydwimmer
 def from_id(cls, id):
     index = intern.get_all(id, 0)
     return cls(index)
コード例 #5
0
ファイル: terms.py プロジェクト: paulfchristiano/pydwimmer
 def from_id(cls, id):
     name = intern.get_all(id, "")
     return cls(ndex)
コード例 #6
0
ファイル: terms.py プロジェクト: paulfchristiano/pydwimmer
def from_id(id):
    type_id, body = intern.get_all(id, 0, None)
    return by_type[type_id].from_id(body)
コード例 #7
0
ファイル: terms.py プロジェクト: paulfchristiano/pydwimmer
 def from_id(cls, id):
     return Template(intern.get_all(id, [""]))