/*
 * Copyright 2016 WebAssembly Community Group participants
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

#ifndef WASM_BINARY_WRITER_SPEC_H_
#define WASM_BINARY_WRITER_SPEC_H_

#include "ast.h"
#include "binary-writer.h"
#include "common.h"

struct WasmAllocator;
struct WasmWriter;

#define WASM_WRITE_BINARY_SPEC_OPTIONS_DEFAULT \
  { NULL, WASM_WRITE_BINARY_OPTIONS_DEFAULT }

typedef struct WasmWriteBinarySpecOptions {
  const char* json_filename;
  WasmWriteBinaryOptions write_binary_options;
} WasmWriteBinarySpecOptions;

WASM_EXTERN_C_BEGIN
WasmResult wasm_write_binary_spec_script(struct WasmAllocator*,
                                         struct WasmScript*,
                                         const char* source_filename,
                                         const WasmWriteBinarySpecOptions*);
WASM_EXTERN_C_END

#endif /* WASM_BINARY_WRITER_SPEC_H_ */