Public schoolboy who attacked sleeping students with hammers named for first time

A public schoolboy who claimed he was sleepwalking when he attacked two students and a teacher with hammers can now be named.