mercury/java/runtime/TypeClassDeclStruct.java at master · Mercury-Language/mercury · GitHub

34 lines (29 loc) · 1.01 KB

// vim: ts=4 sw=4 expandtab ft=java

// This file is distributed under the terms specified in COPYING.LIB.

package jmercury.runtime;

// This corresponds to the C typedef "MR_TypeClassDeclStruct"

// in runtime/mercury_types.h, i.e. the C struct

// "struct MR_TypeClassDecl_Struct" in runtime/mercury_typeclass_info.h.

public class TypeClassDeclStruct implements java.io.Serializable {

public TypeClassId tc_decl_id;

public int tc_decl_version_number;

public int tc_decl_num_supers; // redundant

public TypeClassConstraint tc_decl_supers;

public TypeClassDeclStruct()

{

}

public void init(TypeClassId id,

int version_number,

int num_supers,

TypeClassConstraint supers)

{

tc_decl_id = id;

tc_decl_version_number = version_number;

tc_decl_num_supers = num_supers;

tc_decl_supers = supers;

}

Expand file tree