Index: third_party/mojo/src/mojo/edk/system/channel_id.h |
diff --git a/third_party/mojo/src/mojo/edk/system/channel_id.h b/third_party/mojo/src/mojo/edk/system/channel_id.h |
new file mode 100644 |
index 0000000000000000000000000000000000000000..d410311b78ca07c2a1ac33634a6c9c76f2dfaa2d |
--- /dev/null |
+++ b/third_party/mojo/src/mojo/edk/system/channel_id.h |
@@ -0,0 +1,23 @@ |
+// Copyright 2015 The Chromium Authors. All rights reserved. |
+// Use of this source code is governed by a BSD-style license that can be |
+// found in the LICENSE file. |
+ |
+#ifndef MOJO_EDK_SYSTEM_CHANNEL_ID_H_ |
+#define MOJO_EDK_SYSTEM_CHANNEL_ID_H_ |
+ |
+#include <stdint.h> |
+ |
+namespace mojo { |
+namespace system { |
+ |
+// IDs for |Channel|s managed by a |ChannelManager|. (IDs should be thought of |
+// as specific to a given |ChannelManager|.) |
+using ChannelId = uint64_t; |
+ |
+// 0 is never a valid |ChannelId|. |
+const ChannelId kInvalidChannelId = 0; |
+ |
+} // namespace system |
+} // namespace mojo |
+ |
+#endif // MOJO_EDK_SYSTEM_CHANNEL_ID_H_ |