Google Mail Calendar Documents Reader Web more »
Recently Visited Groups | Help | Sign in
Google Groups Home
Message from discussion Doctrine_Record::hasValue()
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Follow-up To:
Add Cc | Add Follow-up to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers that you hear
 
Jonathan Wage  
View profile   Translate to Translated (View Original)
 More options 28 June, 21:52
From: Jonathan Wage <jonw...@gmail.com>
Date: Sun, 28 Jun 2009 15:52:32 -0500
Local: Sun 28 June 2009 21:52
Subject: Re: [doctrine-dev] Doctrine_Record::hasValue()

Should it be named something different like hasMappedValue() or something?

- Jon

On Fri, Jun 26, 2009 at 9:19 PM, Adam Huttler <

adam.hutt...@fracturedatlas.org> wrote:
>  Attached is a patch to add Doctrine_Record::hasValue().

> Would anyone object to adding this? There’s already
> Doctrine_Table::hasField() and Doctrine_Record::hasRelation(), but there’s
> currently no public interface for determining if a custom property has been
> defined.

> It could alternately be named hasMappedValue(), but that seems awkward to
> me.

> Thanks,
> Adam

--
Jonathan H. Wage (+1 415 992 5468)
Open Source Software Developer & Evangelist
sensiolabs.com | jwage.com | doctrine-project.org | symfony-project.org

You can contact Jonathan about Doctrine, Symfony and Open-Source or for
training, consulting, application development, or business related questions
at jonathan.w...@sensio.com


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message, you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2009 Google