Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-10 03:45:46 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

require IPDL filename Foo.ipdl to define protocol Foo

Browse Source
This commit is contained in:
Chris Jones 2009-08-19 16:08:21 -05:00
parent a9da331f2d
commit bf3e025358
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
ipc/ipdl/ipdl/type.py
View File

@ -30,7 +30,7 @@
#
# ***** END LICENSE BLOCK *****
import sys
import os, sys
from ipdl.ast import CxxInclude, Decl, Loc, QualifiedId, TypeSpec, UsingStmt, Visitor, ASYNC, SYNC, RPC, IN, OUT, INOUT, ANSWER, CALL, RECV, SEND
import ipdl.builtin as builtin
@ -379,6 +379,16 @@ class GatherDecls(TcheckVisitor):
p = tu.protocol
# for everyone's sanity, enforce that the filename and
# protocol name match
basefilename = os.path.basename(tu.filename)
expectedfilename = '%s.ipdl'% (p.name)
if basefilename != expectedfilename:
self.error(p.loc,
"expected file defining protocol `%s' to be named `%s'; instead it's named `%s'",
p.name, expectedfilename, basefilename)
# FIXME/cjones: it's a little weird and counterintuitive to put
# both the namespace and non-namespaced name in the global scope.
# try to figure out something better; maybe a type-neutral |using|