In most of our mathematical educations, the odds are we wonโt ever have to prove anything major mathematically, rather we just learn what has already been proved. But a lot of us envisage proving something mathematically as we trot off to school. The closest I got in my high school mathematics to proving anything was when we studied โmathematical inductionโ for a day or two. I was pretty impressed with the idea of it, in broad brush terms โฆ
Prove it for the first case.
Prove it for the next case.
Prove it for the nth case.
โฆ and youโve proved it! Of course, looking back, this probably only applies to a certain subset of โthingsโ (eg. positive integers), but I was probably off to the loo when that dampener was explained by the teacher, so Iโve come to the belief that the dogsโ breakfast can be โmathematically inductedโ โฆ
Nala likes the cheese.
Luna likes the cheese.
nessie likes the cheese (and so do all the dogs whose names start with an โnโ to my mind).
And so, onto the โprove it for the first caseโ start yesterdayโs Javascript Oninvalid Event Form Validation Pattern setCustomValidity Tutorial represented, weโve written another (this time really pared down) โproofof conceptโ live
run calling on a โseconddraftโ external Javascript pattern_test
js you can try for yourself below โฆ
Previous relevant Javascript Oninvalid Event Form Validation Pattern setCustomValidity Tutorial is shown below.
To improve on yesterdayโs HTML Oninvalid Event Form Validation Pattern setCustomValidity Tutorial we immediately thought โgenericizationโ. And one approach to โforce the handโ, so to speak, regarding genericization is to โฆ
- take the original HTML (including inhouse Javascript and inhouse CSS) โฆ and at least be capable of hiving off most of its code (though we just โaddโ today, the point being though, we could have a very minimal HTML source code footprint if we had not wanted to compare both techniques) โฆ into โฆ
- new external Javascript called pattern_test
js โฆ called by HTML via something like โฆ
<script type='text/javascript' src='pattern_test.js?theelementid=csvlist' defer></script>
โฆ where the โcsvlistโ is the ID of a textbox you want validated via a โcomma separated positive integer listโ pattern (default [0-9,]*) โฆworking with the parent HTML design โฆ
<form id=ejmyform method=GET data-onsubmit="return ejosb(this);" action=./pattern_test.htm>
<input type="text" style="width:80%;" data-onblur="document.getElementById('ejfsub').click();" data-name="csvlist" id="csvlist" data-pattern="[0-9,]*" value="" data-placeholder="Please enter a comma separated positive integer list (where red dashed border flags invalid entry)" data-title="Please enter a comma separated positive integer list (where red dashed border flags invalid entry)"></input>
<input type=submit id=ejfsub value=Validate></input></form>
To improve the โgenericityโ aspects to this we allow for both โฆ
- a textbox in a form to have a visible submit button that sets off form oninvalid logics at that form onsubmit event โฆ or โฆ
- a textbox is not in a form and the tabbing out of it with an invalid value causes CSS to show a red dashed border (as flagged to the user initially) with or without buttons of any sort
Though we do not use it in todayโs โseconddraftโ โproof of conceptโ pattern_testhtmโs live
run, the user could specify their own pattern via a &pattern=[textboxPattern], which you can try below โฆ
Previous relevant HTML Oninvalid Event Form Validation Pattern setCustomValidity Tutorial is shown below.
The recent HTML Oninvalid Event Form Validation Primer Tutorial taught us that โฆ
- in the client (ie. HTML and Javascript and CSS) side of the web application wooooorrrrrlllllddd it is best to involve a form โฆ as much as anything to get to involve โฆ
- oninvalid event for a textbox or other user interaction HTML element โฆ and today we do not involve with this โฆ
requiredattribute โฆ opening the door, that way, to involving a textboxโs combination of โฆ- pattern attribute โฆ
<input type="text" onblur="document.getElementById('fsub').click();" name="integerlist" id="integerlist" pattern="[0-9,]*" value="" placeholder="Please enter a comma separated positive integer list" title="Please enter a comma separated positive integer list"></input> - setCustomValidity graphics โฆ to inform of errors within an โฆ
- oninvalid event Javascript function (set up at document.body.onload event Javascript function below) โฆ
function onl() {
if (('' + location.hash) != '') {
document.getElementById('integerlist').title='Regarding your invalid entry of ' + decodeURIComponent('' + location.hash).replace('#','') + ', ' + ('' + document.getElementById('integerlist').placeholder).substring(0,1).toLowerCase() + (document.getElementById('integerlist').placeholder + ' ').substring(1);
}
document.getElementById('integerlist').value = location.search.split('integerlist=')[1] ? decodeURIComponent(location.search.split('integerlist=')[1].split('&')[0]) : '';
document.getElementById('integerlist').title = location.search.split('integerlist=')[1] ? ('Thanks for entering the valid "' + decodeURIComponent(location.search.split('integerlist=')[1].split('&')[0]) + '"').replace('Thanks for entering the valid ""', document.getElementById('integerlist').placeholder) : document.getElementById('integerlist').placeholder;
document.getElementById('integerlist').oninvalid = function(event) {
retval=event.target.value;
if (event.target.title.indexOf(', ') != -1) {
event.target.title=document.event.target.placeholder;
}
event.target.setCustomValidity('Regarding your invalid entry of "' + retval + '", ' + ('' + event.target.title).substring(0,1).toLowerCase() + (event.target.title + ' ').substring(1));
event.target.title=('Regarding your invalid entry of "' + retval + '", ' + ('' + event.target.title).substring(0,1).toLowerCase() + (event.target.title + ' ').substring(1));
event.target.value='';
setTimeout(postonl, 5000);
};
}
function postonl() {
document.getElementById('integerlist').setCustomValidity('');
}
โฆ (for that textbox) โฆ - fired at the form onsubmit event (at which you should return false when there is an unacceptable error in the programmerโs eyes)
โฆ the purpose of todayโs โproof of conceptโ pattern_testhtml live
run web application being to validate a textbox asking for โa comma separated list of positive integersโ web application (that involves validation), and you can try below โฆ
Previous relevant HTML Oninvalid Event Form Validation Primer Tutorial is shown below.
Itโs good that there are such a variety of approaches with clientside HTML and Javascript and/or among serverside (eg. PHP, Perl, Python) components to your webpages that involve forms (because for yours truly it can seem soul destroying the way data can be in real life, asking for information off the user). You can leave it to the end of the client validation possibilities by using logic off the HTML form onsubmit event. Generally youโre leaving it to the very last opportunity if you leave it to the serverside languages. But, today, at the clientside (and read more about validation off HTML Worded Validation via Client Input or Regular Expression Tutorial below if you like), weโre exploring an earlier (only just) intervention than that of onsubmit, using the oninvalid event, as explained by W3schools โฆ
The oninvalid event occurs when a submittable <input> element is invalid.
For example, the input field is invalid if the required attribute is set and the field is empty (the required attribute specifies that the input field must be filled out before submitting the form).
We find it suits very well those new HTML5 input element types that are trying to hone in on specific data types. To show what we are getting at here we wrote a proof of concept oninvalidhtml live
run link, for you to try some of this for yourself.
Previous relevant HTML Worded Validation via Client Input or Regular Expression Tutorial is shown below.
Itโs not, at least for us, a trivial issue to add wording in addition to yesterdayโs HTML Validation via Client Input or Regular Expression Tutorial red dashed bordering flagging invalid entries regarding โฆ
- telephone number
- url
- number
โฆ for those two modes of validation being โฆ
- tailored HTML input type= attribute element types that came in with HTML5 โฆ versus โฆ
- HTML input type=text combined via Javascript client regex matching
We wanted to add wording to ram the message home a bit better, a thought you may want to investigate yourself for mission critical information.
Would it surprise you to learn that the event driven programming code methods for the two modes above are very different? The former mode needs CSS styling :invalid selector changes that later can be detected back at Javascript (though you may want to research jQuery CSS functionalities) and though we experimented with the :after selector and the content: attribute unsuccessfully we succeeded with โฆ
#iemail:invalid {
border: 2px dashed red;
max-width: calc(100% - 5px);
}
#iemail:invalid:after {
content: ' is an invalid email address';
}
โฆ combined with Javascript โฆ
var emailr=null;
// at document.body onload below ...
if (emailr == null) { emailr=document.getElementById('iemail').getBoundingClientRect(); }
function chkemail() {
if (iai == '') { iai=' is an invalid '; }
if (document.getElementById('iemail').value.indexOf(iai) == 0) {
document.getElementById('iemail').value=document.getElementById('iemail').value.replace(iai, document.getElementById('iemail').placeholder + iai);
} else if (('' + document.getElementById('iemail').style.border).indexOf(' dashed ') != -1) {
document.getElementById('iemail').value=document.getElementById('iemail').placeholder + iai + 'email address';
} else if (emailr != null) {
var vsemailr=document.getElementById('iemail').getBoundingClientRect();
if (vsemailr.width != emailr.width) {
document.getElementById('iemail').value=document.getElementById('iemail').placeholder + iai + 'email address';
document.getElementById('iemail').style.maxWidth=emailr.width; //'100%';
}
} else if (emailp != '') {
document.getElementById('iemail').placeholder=emailp;
}
}
โฆ as well as keyboard event logics collecting into this.placeholder the characters the user enters.
Would it surprise you to learn that the event driven programming code methods for the HTML5 input type=number within that first mode needs different validation tactics to the others within that first mode above? The reason for this is that HTML5 uses keypress limiting ideas with this input type=number type of element and we have to work โaround the sidesโ of that (as in โas well as keyboard event logics collecting into this.placeholder the characters the user entersโ).
Central to Javascript logic here is settling on a phrase to look for, ours being โ is an invalid โ that you can see in play with thechanged email_validationhtmโs live
run link.
Previous relevant HTML Validation via Client Input or Regular Expression Tutorial is shown below.
Our attitude to validation is โto get in there earlyโ, so no matter how effective the recent PHP Form Validation via Filter Regular Expression Tutorial is with its data validation, this serverside validation canโt beat client validation you do right at the โฆ
- onkeydown and onkeypress
- onblur
โฆ (optional) event logics associated with HTML input elements. With HTML5 came several input tag type= attribute validators โฆ
HTML5 input tag type= attribute | Client Validation Methods (can combine with pattern= attribute) |
---|---|
CSS selector styling eg. <style> #iemail:invalid { border: 2px dashed red; } #iemail:valid { border: 2px solid black; } </style> | |
tel | pattern=โ^[0-9-+s()]*$โ and CSS selector styling eg. <style> #iipn:invalid { border: 2px dashed red; } #iipn:valid { border: 2px solid black; } </style> |
url | CSS selector styling eg. <style> #iurl:invalid { border: 2px dashed red; } #iurl:valid { border: 2px solid black; } </style> |
number | Self validates |
โฆ versus HTML input type=text combined with regex expression matching โฆ as for telephone number โฆ
function huhipn(inw) {
var isok=false;
if (inw.value != '') {
// Thanks to https://www.w3resource.com/javascript/form/phone-no-validation.php
isok=inw.value.match(/^\(?([0-9]{3})\)?[-. ]?([0-9]{3})[-. ]?([0-9]{4})$/) || inw.value.match(/^\d{10}$/) || inw.value.match(/^\d{11}$/);
if (!isok) {
inw.style.border='2px dashed red';
} else {
inw.style.border='2px solid black';
}
} else {
inw.style.border='2px solid black';
}
return isok;
}
โฆ called off those aforesaid mentioned events.
You can try email_validationhtmlโs live
run link to see what we mean.
Previous relevant PHP Form Validation via Filter Regular Expression Tutorial is shown below.
With the recent PHP Form Validation via Filter Extension Tutorial we avoided โthe elephant in the roomโ that being the use of regular expressions. No, Nala, not or even
but the definition of a date data item (or can be a PHP object) via โฆ
- Perl Regular Expressions โฆ combined with โฆ
- PHP Filter extensionโs FILTER_VALIDATE_REGEXP โฆ and โฆ
- PHP date_create_from_format(string $format , string $time)
So what is it about dates that suit regular expressions? Itโs that there are so many ways to express a Date (or DateTime) in user entry land (as a โtimestamp formatโ entry) and a regular expression set aside for some of those timestamp formats that we can think that a user may think of, could be the go to start down this road of discovery. Behind the scenes we also arrange for an equivalent PHP โtimestamp formatโ equivalent to be sent by the HTML form controlling all this so that we can have a two phase date validation process that โฆ
- first passes the user entry through a PHP Filter extensionโs FILTER_VALIDATE_REGEXP examination, but there being no โinteger rangeโ constraint mechanism here, you could enter a value such as โ2019-02-29โ and it is fairly obvious what you mean with this Year-Month-Date entry, but it passes this first pass of validation (there being no โinteger rangeโ constraint mechanism) when it shouldnโt (curiously PHP date_create_from_format(string $format , โ2019-02-29โ) will return a date object that is dated โ2019-03-01โ such is its desire to please but we do a sanity check for this โempathy overshootโ in our code), and so we need a โฆ.
- second pass creates a PHP date object using that equivalent PHP โtimestamp formatโ equivalent (that we separately and additionally scrutinize for that โempathy overshootโ issue as explained above)
โฆ and if successful with both passes above the user entered date information passes our validation processing to go on and win that elusive cigar?!
Previous relevant PHP Form Validation via Filter Extension Tutorial is shown below.
Our recent Javascript and PHP Base64 Primer Tutorial with its Base64 thoughts, the โฆ
echo "<textarea id=tb64 cols=100 rows=10>" . base64_decode(urldecode($_POST['base64'])) . "</textarea><br>";
โฆ of which we adopt for todayโs PHP code, set our minds towards HTML form thoughts and HTML form validation thoughts. The most immediate validation thought on an HTML form is probably โฆ
- onsubmit event Javascript client logic โฆ but today we go exploring โฆ
- callback PHP serverside logic via the PHP Filter extension functionalities in the pattern โฆ
$var=filter_var($prevar, );
You will see on examination of our proof of concept PHP filter_ideasphp code how these PHP Filter Extensions can be used for validation purposes (with a more extensive list here), and you could try it out for yourself at this live
run link.
If form validation interests you, perhaps a read of HTML5 Form API Validation Primer Tutorial below is in order.
Previous relevant HTML5 Form API Validation Primer Tutorial is shown below.
HTML5 is more than just the โ5โ tagged on. Take a look at this list of API related parts to the HTML5 specification.
As you may have gleaned from our recent HTML Input Element Types Randomized History Tutorial a lot of new HTML input elements were added with the view to improving the capabilities of HTML form elements for collecting information from users interactively. Along with that, as you might expect, validation methodologies were improved, as any programmer would tell you, can be one of the most challenging โpractical elementโ of web design to do well to not involve user error, or โuser giving upโ.
The HTML5 form API has great โConstraint Validationโ, not all new to HTML, but vastly improved and extended, as you can read a lot about at this really great webpage, thanks.
The HTML input attribute we find of great practical benefit with all this is the pattern attribute to define a constraint, in the same sort of vein as a RegEx expressions helps you perform pattern-matching and โsearch and replaceโ functions on text. This would be great use for organizations that work with โcodesโ or โPart Numbersโ or SKU (stock keeping units) that follow a consistent pattern.
You can try some simple Constraint Validation at todayโs liverun link with its underlying serverside PHP code you could call html5_form_constraint_validation
html as you wish.
If this was interesting you may be interested in this too.
If this was interesting you may be interested in this too.
If this was interesting you may be interested in this too.
If this was interesting you may be interested in this too.
If this was interesting you may be interested in this too.
If this was interesting you may be interested in this too.
If this was interesting you may be interested in this too.
If this was interesting you may be interested in this too.
If this was interesting you may be interested in this too.