Implement a simple type language
7949a69ca237
Actions

Authored by epriestley <git@epriestley.com> on Aug 23 2013, 01:01.

Description

Implement a simple type language

Summary:
Depends on D6794. Ref T2039. This implements a simple type language so we can typecheck things (like Conduit method calls) easily. For T2039, I want to typecheck a JSON file without writing a zillion lines of custom parser code.

I codegenerated the parser since it takes around 125ms to build.

Test Plan: Ran unit tests.

Reviewers: btrahan

Reviewed By: btrahan

CC: aran

Maniphest Tasks: T2039

Differential Revision: https://secure.phabricator.com/D6795

Details

Committed

epriestley <git@epriestley.com>

Aug 23 2013, 01:01

Pushed

aubort

Mar 17 2017, 12:03

Parents

rPHU473274f9a7df: Add an LR(1) parser generator to libphutil

Branches

Unknown

Tags

Unknown

Event Timeline

epriestley <git@epriestley.com> committed rPHU7949a69ca237: Implement a simple type language (authored by epriestley <git@epriestley.com>).Aug 23 2013, 01:01

Changes (11)

		Path
M		src/__phutil_library_map__.php
A		src/lexer/PhutilTypeLexer.php
M		src/parser/PhutilParserGenerator.php
A		src/parser/PhutilTypeSpec.php
A		src/parser/__tests__/PhutilTypeSpecTestCase.php
A	(dir)	src/parser/exception/
A		src/parser/exception/PhutilTypeCheckException.php
A		src/parser/exception/PhutilTypeExtraParametersException.php
A		src/parser/exception/PhutilTypeMissingParametersException.php
A	(dir)	support/parser/
A		support/parser/generate-type-parser.php