Class: Sollya::Object

Inherits:

Object

• Object
• Sollya::Object

Defined in:

ext/sollya_rb.c

Direct Known Subclasses

ExternalData, ExternalProcedure, Function, List, Procedure, Range, Special, String, Structure

Instance Method Summary

• #!=(other) ⇒ Object
• #&(other) ⇒ Object
• #==(other) ⇒ Object
• #concat(other) ⇒ Object
• #inspect ⇒ Object
• #print ⇒ Object
• #to_s ⇒ Object
• #to_sollya ⇒ Object
• #|(other) ⇒ Object
• #~ ⇒ Object

Instance Method Details

#!=(other) ⇒ Object

# File 'ext/sollya_rb.c', line 2805

static VALUE sollyarb_object_cmp_not_equal(VALUE self, VALUE other)
{
	sollya_obj_t y = SOLLYARB_TO_SOLLYA(other);
	sollya_obj_t x = sollyarb_object_rb2ref(self);
	sollya_obj_t r = sollya_lib_cmp_not_equal(x, y);
	VALUE b;
	if (sollya_lib_is_true(r)) {
		b = Qtrue;
	} else if (sollya_lib_is_false(r)) {
		b = Qfalse;
	} else {
		b = Qnil;
	}
	sollya_lib_clear_obj(r);
	return b;
}

#&(other) ⇒ Object

# File 'ext/sollya_rb.c', line 2169

static VALUE sollyarb_object_and(VALUE self, VALUE other)
{
	return sollyarb_autowrap_object(sollya_lib_and(sollyarb_object_rb2ref(self), SOLLYARB_TO_SOLLYA(other)));
}

#==(other) ⇒ Object

# File 'ext/sollya_rb.c', line 2787

static VALUE sollyarb_object_cmp_equal(VALUE self, VALUE other)
{
	sollya_obj_t y = SOLLYARB_TO_SOLLYA(other);
	sollya_obj_t x = sollyarb_object_rb2ref(self);
	sollya_obj_t r = sollya_lib_cmp_equal(x, y);
	VALUE b;
	if (sollya_lib_is_true(r)) {
		b = Qtrue;
	} else if (sollya_lib_is_false(r)) {
		b = Qfalse;
	} else {
		b = Qnil;
	}
	sollya_lib_clear_obj(r);
	return b;
}

#concat(other) ⇒ Object

# File 'ext/sollya_rb.c', line 2245

static VALUE sollyarb_object_concat(VALUE self, VALUE other)
{
	return sollyarb_autowrap_object(sollya_lib_concat(sollyarb_object_rb2ref(self), SOLLYARB_TO_SOLLYA(other)));
}

#inspect ⇒ Object

# File 'ext/sollya_rb.c', line 596

static VALUE sollyarb_object_inspect(VALUE self)
{
	return rb_sprintf("#<%s %" PRIsVALUE ">", rb_obj_classname(self), rb_funcallv(self, id_to_s, 0, NULL));
}

#print ⇒ Object

# File 'ext/sollya_rb.c', line 220

static VALUE sollyarb_object_print(VALUE self)
{
	sollya_obj_t sol = sollyarb_object_rb2ref(self);
	sollya_lib_autoprint(sol, NULL);
	return Qnil;
}

#to_s ⇒ Object

# File 'ext/sollya_rb.c', line 228

static VALUE sollyarb_object_to_s(VALUE self)
{
	char buf[64];
	sollya_obj_t sol = sollyarb_object_rb2ref(self);
	int s = sollya_lib_snprintf(buf, sizeof(buf), "%b", sol);
	if (s < (int)sizeof(buf)) {
		return rb_str_new(buf, s);
	}
	char *strp = malloc(s+1);
	if (!strp) return Qnil;
	s = sollya_lib_snprintf(strp, s+1, "%b", sol);
	VALUE rbstr = rb_str_new(strp, s);
	free(strp);
	return rbstr;
}

#to_sollya ⇒ Object

# File 'ext/sollya_rb.c', line 245

static VALUE sollyarb_object_to_sollya(VALUE self)
{
	return self;
}

#|(other) ⇒ Object

# File 'ext/sollya_rb.c', line 2175

static VALUE sollyarb_object_or(VALUE self, VALUE other)
{
	return sollyarb_autowrap_object(sollya_lib_or(sollyarb_object_rb2ref(self), SOLLYARB_TO_SOLLYA(other)));
}

#~ ⇒ Object

# File 'ext/sollya_rb.c', line 2181

static VALUE sollyarb_object_negate(VALUE self)
{
	return sollyarb_autowrap_object(sollya_lib_negate(sollyarb_object_rb2ref(self)));
}